diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-11-20 13:53:51 +0100 |
|---|---|---|
| committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2024-01-30 12:36:43 +0100 |
| commit | 3e0e74f3e9cee9db52ef40ccacc4bc667a569455 (patch) | |
| tree | 19f3d7040d87d6a92eda6c79c544ea1b28b7366e | |
| parent | b1b744fc467a3cee4af0f85a8d8fb2b68f68b2d3 (diff) | |
| download | gcc-3e0e74f3e9cee9db52ef40ccacc4bc667a569455.zip gcc-3e0e74f3e9cee9db52ef40ccacc4bc667a569455.tar.gz gcc-3e0e74f3e9cee9db52ef40ccacc4bc667a569455.tar.bz2 | |
gccrs: Add regression test for generic auto traits
Generics are forbidden on auto traits and an error should be emitted.
This commit highlight this behavior.
gcc/testsuite/ChangeLog:
* rust/compile/generic_auto_trait.rs: New test.
Signed-off-by: Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com>
| -rw-r--r-- | gcc/testsuite/rust/compile/generic_auto_trait.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/testsuite/rust/compile/generic_auto_trait.rs b/gcc/testsuite/rust/compile/generic_auto_trait.rs new file mode 100644 index 0000000..ae6a51d --- /dev/null +++ b/gcc/testsuite/rust/compile/generic_auto_trait.rs @@ -0,0 +1,2 @@ +auto trait IsCooler<G> {} +// { dg-error "auto traits cannot have generic parameters .E0567." "" { target *-*-* } .-1 } |