diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2022-08-28 04:17:12 +0000 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2022-09-16 11:48:42 +0800 |
| commit | 03ac7e0d0be88e8dbdc529c89ccc74d80ce9c1c9 (patch) | |
| tree | 1071f69b53b9706cafee6741eeba457f4d13c29d | |
| parent | 5a6273e263f7621936491e2214b336666a3178c9 (diff) | |
| download | rust-03ac7e0d0be88e8dbdc529c89ccc74d80ce9c1c9.tar.gz rust-03ac7e0d0be88e8dbdc529c89ccc74d80ce9c1c9.zip | |
Add test
| -rw-r--r-- | src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.rs | 9 | ||||
| -rw-r--r-- | src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.stderr | 14 |
2 files changed, 23 insertions, 0 deletions
diff --git a/src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.rs b/src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.rs new file mode 100644 index 00000000000..1aff0562785 --- /dev/null +++ b/src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.rs @@ -0,0 +1,9 @@ +#![feature(const_trait_impl)] + +pub trait A {} +//~^ NOTE: this trait must be annotated with `#[const_trait]` + +impl const A for () {} +//~^ ERROR: const `impl`s must be for traits marked with `#[const_trait]` + +fn main() {} diff --git a/src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.stderr b/src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.stderr new file mode 100644 index 00000000000..6b465a9c62e --- /dev/null +++ b/src/test/ui/rfc-2632-const-trait-impl/const-impl-requires-const-trait.stderr @@ -0,0 +1,14 @@ +error: const `impl`s must be for traits marked with `#[const_trait]` + --> $DIR/const-impl-requires-const-trait.rs:6:1 + | +LL | impl const A for () {} + | ^^^^^^^^^^^^^^^^^^^ + | +note: this trait must be annotated with `#[const_trait]` + --> $DIR/const-impl-requires-const-trait.rs:3:1 + | +LL | pub trait A {} + | ^^^^^^^^^^^ + +error: aborting due to previous error + |