1error[E0107]: missing generics for associated type `X::Y`
2  --> $DIR/gat-trait-path-missing-lifetime.rs:10:20
3   |
4LL |   fn foo<'a, T1: X<Y = T1>>(t : T1) -> T1::Y<'a> {
5   |                    ^ expected 1 lifetime argument
6   |
7note: associated type defined here, with 1 lifetime parameter: `'a`
8  --> $DIR/gat-trait-path-missing-lifetime.rs:4:8
9   |
10LL |   type Y<'a>;
11   |        ^ --
12help: add missing lifetime argument
13   |
14LL |   fn foo<'a, T1: X<Y<'a> = T1>>(t : T1) -> T1::Y<'a> {
15   |                    ~~~~~
16
17error[E0107]: missing generics for associated type `X::Y`
18  --> $DIR/gat-trait-path-missing-lifetime.rs:10:20
19   |
20LL |   fn foo<'a, T1: X<Y = T1>>(t : T1) -> T1::Y<'a> {
21   |                    ^ expected 1 lifetime argument
22   |
23note: associated type defined here, with 1 lifetime parameter: `'a`
24  --> $DIR/gat-trait-path-missing-lifetime.rs:4:8
25   |
26LL |   type Y<'a>;
27   |        ^ --
28help: add missing lifetime argument
29   |
30LL |   fn foo<'a, T1: X<Y<'a> = T1>>(t : T1) -> T1::Y<'a> {
31   |                    ~~~~~
32
33error: aborting due to 2 previous errors
34
35For more information about this error, try `rustc --explain E0107`.
36