diff options
| author | Michael Goulet <michael@errs.io> | 2025-07-02 00:32:54 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2025-07-02 00:37:40 +0000 |
| commit | 91c53c97a990e9d1ab87b2d932362a53236fba49 (patch) | |
| tree | a13a6929fcd784790af9b4308f5b9f944dc2c0dc /tests | |
| parent | d3c0ef0c9fb000d09529e2ff71ed2e69e224a8d6 (diff) | |
| download | rust-91c53c97a990e9d1ab87b2d932362a53236fba49.tar.gz rust-91c53c97a990e9d1ab87b2d932362a53236fba49.zip | |
Consider polarity in sizedness fast path
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/traits/negative-bounds/negative-sized.rs | 8 | ||||
| -rw-r--r-- | tests/ui/traits/negative-bounds/negative-sized.stderr | 15 |
2 files changed, 23 insertions, 0 deletions
diff --git a/tests/ui/traits/negative-bounds/negative-sized.rs b/tests/ui/traits/negative-bounds/negative-sized.rs new file mode 100644 index 00000000000..18369c78427 --- /dev/null +++ b/tests/ui/traits/negative-bounds/negative-sized.rs @@ -0,0 +1,8 @@ +#![feature(negative_bounds)] + +fn foo<T: !Sized>() {} + +fn main() { + foo::<()>(); + //~^ ERROR the trait bound `(): !Sized` is not satisfied +} diff --git a/tests/ui/traits/negative-bounds/negative-sized.stderr b/tests/ui/traits/negative-bounds/negative-sized.stderr new file mode 100644 index 00000000000..143933803b8 --- /dev/null +++ b/tests/ui/traits/negative-bounds/negative-sized.stderr @@ -0,0 +1,15 @@ +error[E0277]: the trait bound `(): !Sized` is not satisfied + --> $DIR/negative-sized.rs:6:11 + | +LL | foo::<()>(); + | ^^ the trait bound `(): !Sized` is not satisfied + | +note: required by a bound in `foo` + --> $DIR/negative-sized.rs:3:11 + | +LL | fn foo<T: !Sized>() {} + | ^^^^^^ required by this bound in `foo` + +error: aborting due to 1 previous error + +For more information about this error, try `rustc --explain E0277`. |