diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-01-04 21:47:11 -0800 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-01-09 16:47:05 -0800 |
| commit | 9950a1f3bdfec11db6bbe2019b819b4410e26905 (patch) | |
| tree | 01b7613f921c6c2b49649f90252e51fb12fa6d27 | |
| parent | b6b11f0f282081b2baa3961cc9f78313eafcc8b4 (diff) | |
| download | rust-9950a1f3bdfec11db6bbe2019b819b4410e26905.tar.gz rust-9950a1f3bdfec11db6bbe2019b819b4410e26905.zip | |
Add test for `?const` and `?` on the same bound
| -rw-r--r-- | src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.rs | 8 | ||||
| -rw-r--r-- | src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.stderr | 14 |
2 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.rs b/src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.rs new file mode 100644 index 00000000000..425784f4e43 --- /dev/null +++ b/src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.rs @@ -0,0 +1,8 @@ +#![feature(const_trait_bound_opt_out)] +#![allow(incomplete_features)] + +struct S<T: ?const ?Sized>(std::marker::PhantomData<T>); +//~^ ERROR `?const` and `?` are mutually exclusive +//~| ERROR `?const` on trait bounds is not yet implemented + +fn main() {} diff --git a/src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.stderr b/src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.stderr new file mode 100644 index 00000000000..44f6d464ae6 --- /dev/null +++ b/src/test/ui/rfc-2632-const-trait-impl/const-trait-bound-opt-out/with-maybe-sized.stderr @@ -0,0 +1,14 @@ +error: `?const` and `?` are mutually exclusive + --> $DIR/with-maybe-sized.rs:4:13 + | +LL | struct S<T: ?const ?Sized>(std::marker::PhantomData<T>); + | ^^^^^^^^^^^^^ + +error: `?const` on trait bounds is not yet implemented + --> $DIR/with-maybe-sized.rs:4:13 + | +LL | struct S<T: ?const ?Sized>(std::marker::PhantomData<T>); + | ^^^^^^^^^^^^^ + +error: aborting due to 2 previous errors + |