1 error[E0637]: `&` without an explicit lifetime name cannot be used here
2 --> $DIR/issue-65285-incorrect-explicit-lifetime-name-needed.rs:5:37
4 LL | fn should_error<T>() where T : Into<&u32> {}
5 | ^ explicit lifetime name needed here
7 error[E0106]: missing lifetime specifier
8 --> $DIR/issue-65285-incorrect-explicit-lifetime-name-needed.rs:9:20
10 LL | fn foo<'b, L: X<&'b Nested<K>>>();
11 | ^ expected named lifetime parameter
13 note: these named lifetimes are available to use
14 --> $DIR/issue-65285-incorrect-explicit-lifetime-name-needed.rs:8:9
16 LL | trait X<'a, K: 'a> {
18 LL | fn foo<'b, L: X<&'b Nested<K>>>();
20 help: consider using one of the available lifetimes here
22 LL | fn foo<'b, L: X<'lifetime, &'b Nested<K>>>();
25 error[E0106]: missing lifetime specifier
26 --> $DIR/issue-65285-incorrect-explicit-lifetime-name-needed.rs:14:16
28 LL | fn bar<'b, L: X<&'b Nested<i32>>>(){}
29 | ^ expected named lifetime parameter
31 help: consider using the `'b` lifetime
33 LL | fn bar<'b, L: X<'b, &'b Nested<i32>>>(){}
36 error[E0477]: the type `&'b Nested<K>` does not fulfill the required lifetime
37 --> $DIR/issue-65285-incorrect-explicit-lifetime-name-needed.rs:9:19
39 LL | fn foo<'b, L: X<&'b Nested<K>>>();
42 note: type must satisfy the static lifetime as required by this binding
43 --> $DIR/issue-65285-incorrect-explicit-lifetime-name-needed.rs:8:16
45 LL | trait X<'a, K: 'a> {
48 error: aborting due to 4 previous errors
50 Some errors have detailed explanations: E0106, E0477, E0637.
51 For more information about an error, try `rustc --explain E0106`.