diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-11-20 14:04:35 +0100 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2023-11-21 11:15:44 +0000 |
| commit | e361eceb9d4231897a1a033b90856c5ac7a5b5fb (patch) | |
| tree | a8ea2e0878ce4c3a9f6c650719484ba90d25bc4b /gcc | |
| parent | c500e77a5251f8ec0c8aff51b078efaa3407ecb9 (diff) | |
| download | gcc-e361eceb9d4231897a1a033b90856c5ac7a5b5fb.zip gcc-e361eceb9d4231897a1a033b90856c5ac7a5b5fb.tar.gz gcc-e361eceb9d4231897a1a033b90856c5ac7a5b5fb.tar.bz2 | |
Reject auto traits with super trait
Reject auto traits containing a super trait bound during AST validation
pass.
gcc/rust/ChangeLog:
* checks/errors/rust-ast-validation.cc (ASTValidation::visit): Reject
auto traits with super traits.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/rust/checks/errors/rust-ast-validation.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/rust/checks/errors/rust-ast-validation.cc b/gcc/rust/checks/errors/rust-ast-validation.cc index 37d3668..aeae603 100644 --- a/gcc/rust/checks/errors/rust-ast-validation.cc +++ b/gcc/rust/checks/errors/rust-ast-validation.cc @@ -105,6 +105,10 @@ ASTValidation::visit (AST::Trait &trait) rust_error_at (trait.get_generic_params ()[0]->get_locus (), ErrorCode::E0567, "auto traits cannot have generic parameters"); + if (trait.has_type_param_bounds ()) + rust_error_at (trait.get_type_param_bounds ()[0]->get_locus (), + ErrorCode::E0568, + "auto traits cannot have super traits"); } AST::ContextualASTVisitor::visit (trait); |