blob: 5b7f32ba1e0f06a3b22f482d665fd4f4818edacb (
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
|
error[E0277]: the trait bound `dyn CompareToInts: CompareTo<i32>` is not satisfied
--> $DIR/traits-repeated-supertrait-ambig.rs:26:7
|
LL | c.same_as(22)
| ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `dyn CompareToInts`
error[E0277]: the trait bound `C: CompareTo<i32>` is not satisfied
--> $DIR/traits-repeated-supertrait-ambig.rs:30:7
|
LL | c.same_as(22)
| ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `C`
|
help: consider further restricting this bound with `+ CompareTo<i32>`
--> $DIR/traits-repeated-supertrait-ambig.rs:29:17
|
LL | fn with_trait<C:CompareToInts>(c: &C) -> bool {
| ^^^^^^^^^^^^^
error[E0277]: the trait bound `dyn CompareToInts: CompareTo<i32>` is not satisfied
--> $DIR/traits-repeated-supertrait-ambig.rs:34:5
|
LL | fn same_as(&self, t: T) -> bool;
| -------------------------------- required by `CompareTo::same_as`
...
LL | CompareToInts::same_as(c, 22)
| ^^^^^^^^^^^^^^^^^^^^^^ the trait `CompareTo<i32>` is not implemented for `dyn CompareToInts`
error[E0277]: the trait bound `C: CompareTo<i32>` is not satisfied
--> $DIR/traits-repeated-supertrait-ambig.rs:38:5
|
LL | fn same_as(&self, t: T) -> bool;
| -------------------------------- required by `CompareTo::same_as`
...
LL | CompareTo::same_as(c, 22)
| ^^^^^^^^^^^^^^^^^^ the trait `CompareTo<i32>` is not implemented for `C`
|
help: consider further restricting this bound with `+ CompareTo<i32>`
--> $DIR/traits-repeated-supertrait-ambig.rs:37:17
|
LL | fn with_ufcs2<C:CompareToInts>(c: &C) -> bool {
| ^^^^^^^^^^^^^
error[E0277]: the trait bound `i64: CompareTo<i32>` is not satisfied
--> $DIR/traits-repeated-supertrait-ambig.rs:42:23
|
LL | assert_eq!(22_i64.same_as(22), true);
| ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `i64`
|
= help: the following implementations were found:
<i64 as CompareTo<i64>>
<i64 as CompareTo<u64>>
error: aborting due to 5 previous errors
For more information about this error, try `rustc --explain E0277`.
|
