diff options
| author | dave <dave@dmetwo.org> | 2023-11-15 12:28:27 -0600 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2025-03-17 16:35:48 +0100 |
| commit | a3e002aa61e5d2effe7de143604431299114a0ae (patch) | |
| tree | b5fe666a54966d3f81d0ed3c8ac330e114156a89 /gcc | |
| parent | 2658b0642b772bdfa701aebe6da63908fb195b98 (diff) | |
| download | gcc-a3e002aa61e5d2effe7de143604431299114a0ae.zip gcc-a3e002aa61e5d2effe7de143604431299114a0ae.tar.gz gcc-a3e002aa61e5d2effe7de143604431299114a0ae.tar.bz2 | |
gccrs: Fix optional trait parsing
gcc/rust/ChangeLog:
* typecheck/rust-hir-type-check-item.cc (TypeCheckItem::visit): Check for ?Trait in visitor
gcc/testsuite/ChangeLog:
* rust/compile/issue-2725.rs: New test.
Signed-off-by: Dave Evans <dave@dmetwo.org>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/typecheck/rust-hir-type-check-item.cc | 18 | ||||
| -rw-r--r-- | gcc/testsuite/rust/compile/issue-2725.rs | 3 |
2 files changed, 21 insertions, 0 deletions
diff --git a/gcc/rust/typecheck/rust-hir-type-check-item.cc b/gcc/rust/typecheck/rust-hir-type-check-item.cc index 317d167..68e2069 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-item.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-item.cc @@ -609,6 +609,24 @@ TypeCheckItem::visit (HIR::Module &module) void TypeCheckItem::visit (HIR::Trait &trait) { + if (trait.has_type_param_bounds ()) + { + for (auto &tp_bound : trait.get_type_param_bounds ()) + { + if (tp_bound.get ()->get_bound_type () + == HIR::TypeParamBound::BoundType::TRAITBOUND) + { + HIR::TraitBound &tb + = static_cast<HIR::TraitBound &> (*tp_bound.get ()); + if (tb.get_polarity () == BoundPolarity::AntiBound) + { + rust_error_at (tb.get_locus (), + "%<?Trait%> is not permitted in supertraits"); + } + } + } + } + TraitReference *trait_ref = TraitResolver::Resolve (trait); if (trait_ref->is_error ()) { diff --git a/gcc/testsuite/rust/compile/issue-2725.rs b/gcc/testsuite/rust/compile/issue-2725.rs new file mode 100644 index 0000000..a344bc8 --- /dev/null +++ b/gcc/testsuite/rust/compile/issue-2725.rs @@ -0,0 +1,3 @@ +#[lang = "sized"] +pub trait Sized {} +trait Trait: ?Sized {} // { dg-error ".?Trait. is not permitted in supertraits" } |