blob: 850d83be6845dc44b1e54c876cd8264d960a2d2c (
plain)
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
35
36
37
38
39
40
|
// Test for diagnostics when we have mismatched lifetime due to implict 'static lifetime in GATs
// check-fail
#![feature(generic_associated_types)]
pub trait A {}
impl A for &dyn A {}
impl A for Box<dyn A> {}
pub trait B {
type T<'a>: A;
}
impl B for () {
// `'a` doesn't match implicit `'static`: suggest `'_`
type T<'a> = Box<dyn A + 'a>; //~ incompatible lifetime on type
}
trait C {}
impl C for Box<dyn A + 'static> {}
pub trait D {
type T<'a>: C;
}
impl D for () {
// `'a` doesn't match explicit `'static`: we *should* suggest removing `'static`
type T<'a> = Box<dyn A + 'a>; //~ incompatible lifetime on type
}
trait E {}
impl E for (Box<dyn A>, Box<dyn A>) {}
pub trait F {
type T<'a>: E;
}
impl F for () {
// `'a` doesn't match explicit `'static`: suggest `'_`
type T<'a> = (Box<dyn A + 'a>, Box<dyn A + 'a>); //~ incompatible lifetime on type
}
fn main() {}
|
