1
1
error[E0277]: `<L1 as Lam<&'a u8>>::App` doesn't implement `std::fmt::Debug`
2
- --> $DIR/bad-bounds-on-assoc-in-trait.rs:32 :6
2
+ --> $DIR/bad-bounds-on-assoc-in-trait.rs:31 :6
3
3
|
4
4
LL | impl Case1 for S1 {
5
5
| ^^^^^ `<L1 as Lam<&'a u8>>::App` cannot be formatted using `{:?}` because it doesn't implement `std::fmt::Debug`
6
6
|
7
7
= help: the trait `for<'a> std::fmt::Debug` is not implemented for `<L1 as Lam<&'a u8>>::App`
8
8
9
9
error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` is not an iterator
10
- --> $DIR/bad-bounds-on-assoc-in-trait.rs:37 :1
10
+ --> $DIR/bad-bounds-on-assoc-in-trait.rs:36 :1
11
11
|
12
12
LL | fn assume_case1<T: Case1>() {
13
13
| ^ - help: consider further restricting the associated type: `where <<T as Case1>::C as std::iter::Iterator>::Item: std::iter::Iterator`
@@ -24,7 +24,7 @@ LL | | }
24
24
= help: the trait `std::iter::Iterator` is not implemented for `<<T as Case1>::C as std::iter::Iterator>::Item`
25
25
26
26
error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` cannot be sent between threads safely
27
- --> $DIR/bad-bounds-on-assoc-in-trait.rs:37 :1
27
+ --> $DIR/bad-bounds-on-assoc-in-trait.rs:36 :1
28
28
|
29
29
LL | trait Case1 {
30
30
| ----------- required by `Case1`
@@ -44,7 +44,7 @@ LL | | }
44
44
= help: the trait `std::marker::Send` is not implemented for `<<T as Case1>::C as std::iter::Iterator>::Item`
45
45
46
46
error[E0277]: `<<T as Case1>::C as std::iter::Iterator>::Item` cannot be shared between threads safely
47
- --> $DIR/bad-bounds-on-assoc-in-trait.rs:37 :1
47
+ --> $DIR/bad-bounds-on-assoc-in-trait.rs:36 :1
48
48
|
49
49
LL | trait Case1 {
50
50
| ----------- required by `Case1`
@@ -64,7 +64,7 @@ LL | | }
64
64
= help: the trait `std::marker::Sync` is not implemented for `<<T as Case1>::C as std::iter::Iterator>::Item`
65
65
66
66
error[E0277]: `<_ as Lam<&'a u8>>::App` doesn't implement `std::fmt::Debug`
67
- --> $DIR/bad-bounds-on-assoc-in-trait.rs:37 :1
67
+ --> $DIR/bad-bounds-on-assoc-in-trait.rs:36 :1
68
68
|
69
69
LL | trait Case1 {
70
70
| ----------- required by `Case1`
0 commit comments