rust/tests/ui/traits/next-solver/cycles/normalizes-to-is-not-productive.current.stderr at 48e119ef5a8b46ce8db8d362a6d94668c6deb541 · lcnr/rust · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
error[E0277]: the trait bound `Foo: Bound` is not satisfied
  --> $DIR/normalizes-to-is-not-productive.rs:41:1
   |
LL | / fn generic<T>()
LL | | where
LL | |     <Foo as Trait<T>>::Assoc: Bound,
   | |____________________________________^ the trait `Bound` is not implemented for `Foo`
   |
   = help: the trait `Bound` is implemented for `u32`
note: required for `Foo` to implement `Trait<T>`
  --> $DIR/normalizes-to-is-not-productive.rs:24:19
   |
LL | impl<T: Bound, U> Trait<U> for T {
   |         -----     ^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `Foo: Bound` is not satisfied
  --> $DIR/normalizes-to-is-not-productive.rs:41:4
   |
LL | fn generic<T>()
   |    ^^^^^^^ the trait `Bound` is not implemented for `Foo`
   |
   = help: the trait `Bound` is implemented for `u32`
note: required for `Foo` to implement `Trait<T>`
  --> $DIR/normalizes-to-is-not-productive.rs:24:19
   |
LL | impl<T: Bound, U> Trait<U> for T {
   |         -----     ^^^^^^^^     ^
   |         |
   |         unsatisfied trait bound introduced here

error[E0277]: the trait bound `Foo: Bound` is not satisfied
  --> $DIR/normalizes-to-is-not-productive.rs:48:19
   |
LL |     impls_bound::<Foo>();
   |                   ^^^ the trait `Bound` is not implemented for `Foo`
   |
   = help: the trait `Bound` is implemented for `u32`
note: required by a bound in `impls_bound`
  --> $DIR/normalizes-to-is-not-productive.rs:28:19
   |
LL | fn impls_bound<T: Bound>() {
   |                   ^^^^^ required by this bound in `impls_bound`

error: aborting due to 3 previous errors

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