diff options
| author | Pierre-Emmanuel Patry <pierre-emmanuel.patry@embecosm.com> | 2023-11-20 13:53:51 +0100 |
|---|---|---|
| committer | P-E-P <32375388+P-E-P@users.noreply.github.com> | 2023-11-21 11:15:44 +0000 |
| commit | c500e77a5251f8ec0c8aff51b078efaa3407ecb9 (patch) | |
| tree | 4cf448d09b761beecd9f82cf5dfbe1b6c967402c | |
| parent | 0437eb7efeec3f3251ae061b1c4915ea644b3ef0 (diff) | |
| download | gcc-c500e77a5251f8ec0c8aff51b078efaa3407ecb9.zip gcc-c500e77a5251f8ec0c8aff51b078efaa3407ecb9.tar.gz gcc-c500e77a5251f8ec0c8aff51b078efaa3407ecb9.tar.bz2 | |
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 } |