diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-11-20 14:16:41 +0100 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2023-11-21 11:15:44 +0000 |
| commit | 1786c4fcb1caea99000c7c874f88688713a6b661 (patch) | |
| tree | 188c474d4ea1b1ce8b7e67600ff53adc4788f74e | |
| parent | e361eceb9d4231897a1a033b90856c5ac7a5b5fb (diff) | |
| download | gcc-1786c4fcb1caea99000c7c874f88688713a6b661.zip gcc-1786c4fcb1caea99000c7c874f88688713a6b661.tar.gz gcc-1786c4fcb1caea99000c7c874f88688713a6b661.tar.bz2 | |
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 } |