diff options
Diffstat (limited to 'tests/ui/traits/new-solver/cycles/coinduction/incompleteness-unstable-result.stderr')
-rw-r--r-- | tests/ui/traits/new-solver/cycles/coinduction/incompleteness-unstable-result.stderr | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/tests/ui/traits/new-solver/cycles/coinduction/incompleteness-unstable-result.stderr b/tests/ui/traits/new-solver/cycles/coinduction/incompleteness-unstable-result.stderr deleted file mode 100644 index f1871ff05..000000000 --- a/tests/ui/traits/new-solver/cycles/coinduction/incompleteness-unstable-result.stderr +++ /dev/null @@ -1,16 +0,0 @@ -error[E0277]: the trait bound `A<X>: Trait<_, _, _>` is not satisfied - --> $DIR/incompleteness-unstable-result.rs:63:19 - | -LL | impls_trait::<A<X>, _, _, _>(); - | ^^^^ the trait `Trait<_, _, _>` is not implemented for `A<X>` - | - = help: the trait `Trait<U, V, D>` is implemented for `A<T>` -note: required by a bound in `impls_trait` - --> $DIR/incompleteness-unstable-result.rs:51:28 - | -LL | fn impls_trait<T: ?Sized + Trait<U, V, D>, U: ?Sized, V: ?Sized, D: ?Sized>() {} - | ^^^^^^^^^^^^^^ required by this bound in `impls_trait` - -error: aborting due to previous error - -For more information about this error, try `rustc --explain E0277`. |