diff options
| author | Philip Herron <herron.philip@googlemail.com> | 2025-03-26 19:00:41 +0000 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-31 21:07:16 +0200 |
| commit | 0b522745670e83ee4b5af0782982743b3f715c30 (patch) | |
| tree | 441fd7ee25c5ca23b69fdb5efb5f22c394652938 /gcc/fortran/f95-lang.cc | |
| parent | e60632a2797cb40d301a7421011d2d974a3612df (diff) | |
| download | gcc-0b522745670e83ee4b5af0782982743b3f715c30.zip gcc-0b522745670e83ee4b5af0782982743b3f715c30.tar.gz gcc-0b522745670e83ee4b5af0782982743b3f715c30.tar.bz2 | |
gccrs: Add check for super traits being implemented by Self
We need to recursively check the super traits of the predicate the Self
type is trying to implement. Otherwise its cannot implement it.
Fixes Rust-GCC#3553
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-item.cc (TypeCheckItem::resolve_impl_block_substitutions):
Track the polarity
* typecheck/rust-tyty-bounds.cc (TypeBoundPredicate::validate_type_implements_this):
new validator
* typecheck/rust-tyty.h: new prototypes
gcc/testsuite/ChangeLog:
* rust/compile/issue-3553.rs: New test.
Signed-off-by: Philip Herron <herron.philip@googlemail.com>
Diffstat (limited to 'gcc/fortran/f95-lang.cc')
0 files changed, 0 insertions, 0 deletions