diff options
| author | Michael Goulet <michael@errs.io> | 2023-04-25 06:37:24 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-05-02 22:36:25 +0000 |
| commit | 03469c3f2e5f7318b9dd47483f5656b321880408 (patch) | |
| tree | 4def76c66dbe513023cae219c41de91c5043fcef /tests | |
| parent | 40a63cb06ff21d7cd38f35c92a29162e43f9aadf (diff) | |
| download | rust-03469c3f2e5f7318b9dd47483f5656b321880408.tar.gz rust-03469c3f2e5f7318b9dd47483f5656b321880408.zip | |
Make negative trait bounds work with the old trait solver
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/ui/traits/negative-bounds/simple.stderr | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/tests/ui/traits/negative-bounds/simple.stderr b/tests/ui/traits/negative-bounds/simple.stderr index efd82c09d62..a3cab41a2ce 100644 --- a/tests/ui/traits/negative-bounds/simple.stderr +++ b/tests/ui/traits/negative-bounds/simple.stderr @@ -7,19 +7,7 @@ LL | #![feature(negative_bounds, negative_impls)] = note: `#[warn(incomplete_features)]` on by default error[E0277]: the trait bound `T: !Copy` is not satisfied - --> $DIR/simple.rs:6:16 - | -LL | not_copy::<T>(); - | ^ the trait `!Copy` is not implemented for `T` - | -note: required by a bound in `not_copy` - --> $DIR/simple.rs:3:16 - | -LL | fn not_copy<T: !Copy>() {} - | ^^^^^ required by this bound in `not_copy` - -error[E0277]: the trait bound `T: !Copy` is not satisfied - --> $DIR/simple.rs:10:16 + --> $DIR/simple.rs:11:16 | LL | not_copy::<T>(); | ^ the trait `!Copy` is not implemented for `T` @@ -77,6 +65,6 @@ LL + #[derive(Copy)] LL | struct NotNecessarilyCopyable; | -error: aborting due to 5 previous errors +error: aborting due to 4 previous errors; 1 warning emitted For more information about this error, try `rustc --explain E0277`. |