summary refs log tree commit diff
path: root/tests/ui/error-codes/E0229.stderr
blob: bd8e1955ac6844316be4d46b86b16f6b16188a6b (plain)
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[E0229]: associated type bindings are not allowed here
  --> $DIR/E0229.rs:13:25
   |
LL | fn baz<I>(x: &<I as Foo<A=Bar>>::A) {}
   |                         ^^^^^ associated type not allowed here

error[E0229]: associated type bindings are not allowed here
  --> $DIR/E0229.rs:13:25
   |
LL | fn baz<I>(x: &<I as Foo<A=Bar>>::A) {}
   |                         ^^^^^ associated type not allowed here
   |
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0229]: associated type bindings are not allowed here
  --> $DIR/E0229.rs:13:25
   |
LL | fn baz<I>(x: &<I as Foo<A=Bar>>::A) {}
   |                         ^^^^^ associated type not allowed here
   |
   = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`

error[E0277]: the trait bound `I: Foo` is not satisfied
  --> $DIR/E0229.rs:13:15
   |
LL | fn baz<I>(x: &<I as Foo<A=Bar>>::A) {}
   |               ^^^^^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `I`
   |
help: consider restricting type parameter `I`
   |
LL | fn baz<I: Foo>(x: &<I as Foo<A=Bar>>::A) {}
   |         +++++

error[E0277]: the trait bound `I: Foo` is not satisfied
  --> $DIR/E0229.rs:13:37
   |
LL | fn baz<I>(x: &<I as Foo<A=Bar>>::A) {}
   |                                     ^^ the trait `Foo` is not implemented for `I`
   |
help: consider restricting type parameter `I`
   |
LL | fn baz<I: Foo>(x: &<I as Foo<A=Bar>>::A) {}
   |         +++++

error: aborting due to 5 previous errors

Some errors have detailed explanations: E0229, E0277.
For more information about an error, try `rustc --explain E0229`.