summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/next-solver/cycles/coinduction/incompleteness-unstable-result.stderr
blob: d4932191791fd84bdf36649fc00c86f25a4c4ca1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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 1 previous error

For more information about this error, try `rustc --explain E0277`.