]>
Commit | Line | Data |
---|---|---|
3c0e092e | 1 | error[E0478]: lifetime bound not satisfied |
a2a8927a | 2 | --> $DIR/issue-88595.rs:19:18 |
3c0e092e XL |
3 | | |
4 | LL | type B<'b> = impl Clone; | |
a2a8927a | 5 | | ^^^^^^^^^^ |
3c0e092e XL |
6 | | |
7 | note: lifetime parameter instantiated with the lifetime `'a` as defined here | |
8 | --> $DIR/issue-88595.rs:18:6 | |
9 | | | |
10 | LL | impl<'a> A<'a> for C { | |
11 | | ^^ | |
12 | note: but lifetime parameter must outlive the lifetime `'b` as defined here | |
13 | --> $DIR/issue-88595.rs:19:12 | |
14 | | | |
15 | LL | type B<'b> = impl Clone; | |
16 | | ^^ | |
17 | ||
18 | error: non-defining opaque type use in defining scope | |
19 | --> $DIR/issue-88595.rs:23:23 | |
20 | | | |
21 | LL | fn a(&'a self) -> Self::B<'a> {} | |
22 | | ^^^^^^^^^^^ | |
23 | | | |
24 | note: lifetime used multiple times | |
25 | --> $DIR/issue-88595.rs:18:6 | |
26 | | | |
27 | LL | impl<'a> A<'a> for C { | |
28 | | ^^ | |
29 | LL | type B<'b> = impl Clone; | |
30 | | ^^ | |
31 | ||
32 | error: could not find defining uses | |
33 | --> $DIR/issue-88595.rs:19:18 | |
34 | | | |
35 | LL | type B<'b> = impl Clone; | |
36 | | ^^^^^^^^^^ | |
37 | ||
38 | error: aborting due to 3 previous errors | |
39 | ||
40 | For more information about this error, try `rustc --explain E0478`. |