summaryrefslogtreecommitdiffstats
path: root/tests/ui/impl-unused-tps.stderr
blob: 93215326c2fe3cb5e39294ce18cffa05f5d08342 (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
49
50
51
52
53
54
55
56
error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
  --> $DIR/impl-unused-tps.rs:15:8
   |
LL | impl<T,U> Foo<T> for [isize;1] {
   |        ^ unconstrained type parameter

error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
  --> $DIR/impl-unused-tps.rs:31:8
   |
LL | impl<T,U> Bar for T {
   |        ^ unconstrained type parameter

error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
  --> $DIR/impl-unused-tps.rs:39:8
   |
LL | impl<T,U> Bar for T
   |        ^ unconstrained type parameter

error[E0207]: the type parameter `U` is not constrained by the impl trait, self type, or predicates
  --> $DIR/impl-unused-tps.rs:47:8
   |
LL | impl<T,U,V> Foo<T> for T
   |        ^ unconstrained type parameter

error[E0207]: the type parameter `V` is not constrained by the impl trait, self type, or predicates
  --> $DIR/impl-unused-tps.rs:47:10
   |
LL | impl<T,U,V> Foo<T> for T
   |          ^ unconstrained type parameter

error[E0119]: conflicting implementations of trait `Foo<_>` for type `[isize; 0]`
  --> $DIR/impl-unused-tps.rs:27:1
   |
LL | impl<T> Foo<T> for [isize;0] {
   | ---------------------------- first implementation here
...
LL | impl<T,U> Foo<T> for U {
   | ^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `[isize; 0]`

error[E0275]: overflow evaluating the requirement `([isize; 0], _): Sized`
   |
   = help: consider increasing the recursion limit by adding a `#![recursion_limit = "256"]` attribute to your crate (`impl_unused_tps`)
note: required for `([isize; 0], _)` to implement `Bar`
  --> $DIR/impl-unused-tps.rs:31:11
   |
LL | impl<T,U> Bar for T {
   |      -    ^^^     ^
   |      |
   |      unsatisfied trait bound introduced here
   = note: 126 redundant requirements hidden
   = note: required for `([isize; 0], _)` to implement `Bar`

error: aborting due to 7 previous errors

Some errors have detailed explanations: E0119, E0207, E0275.
For more information about an error, try `rustc --explain E0119`.