diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-11-20 14:16:41 +0100 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-30 12:36:44 +0100 |
| commit | 84e06bb631424cba3ee47f522c9629b104019ec9 (patch) | |
| tree | 09ce33ed8f9258ac04c4ad34a37a58796a0ffac8 | |
| parent | d8c1a756c426c2aba1ef0662cf49bb2760edbb3c (diff) | |
| download | gcc-84e06bb631424cba3ee47f522c9629b104019ec9.zip gcc-84e06bb631424cba3ee47f522c9629b104019ec9.tar.gz gcc-84e06bb631424cba3ee47f522c9629b104019ec9.tar.bz2 | |
gccrs: Add a regression test for super trait on auto trait
Add a new regression test to highlight the error behavior with a super
trait on an auto trait.
gcc/testsuite/ChangeLog:
* rust/compile/auto_trait_super_trait.rs: New test.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
| -rw-r--r-- | gcc/testsuite/rust/compile/auto_trait_super_trait.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/testsuite/rust/compile/auto_trait_super_trait.rs b/gcc/testsuite/rust/compile/auto_trait_super_trait.rs new file mode 100644 index 0000000..1080afb --- /dev/null +++ b/gcc/testsuite/rust/compile/auto_trait_super_trait.rs @@ -0,0 +1,4 @@ +trait Cold {} + +auto trait IsCool: Cold {} +// { dg-error "auto traits cannot have super traits .E0568." "" { target *-*-* } .-1 } |