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
|
trait Trait<'a> {
type Foo;
type Bar<'b>
//~^ NOTE associated type defined here, with 1 lifetime parameter
//~| NOTE
//~| NOTE
where
Self: 'b;
}
struct Impl<'a>(&'a ());
impl<'a> Trait<'a> for Impl<'a> {
type Foo = &'a ();
type Bar<'b> = &'b ();
//~^ ERROR: does not fulfill the required lifetime
//~| NOTE: type must outlive the lifetime `'b`
}
type A<'a> = Impl<'a>;
type B<'a> = <A<'a> as Trait>::Foo;
//~^ ERROR missing lifetime specifier
//~| NOTE expected named lifetime parameter
type C<'a, 'b> = <A<'a> as Trait>::Bar;
//~^ ERROR missing lifetime specifier
//~| ERROR missing generics for associated type
//~| NOTE expected named lifetime parameter
//~| NOTE these named lifetimes are available to use
//~| NOTE expected 1 lifetime argument
fn main() {}
|
