blob: 3f887e8e47f1c3c85d113e4f9525479a2fac15eb (
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
|
// RPITITs don't have variances in their GATs, so they always relate invariantly
// and act as if they capture all their args.
// To fix this soundly, we need to make sure that all the trait header args
// remain captured, since they affect trait selection.
#![feature(precise_capturing_in_traits)]
fn eq_types<T>(_: T, _: T) {}
trait TraitLt<'a: 'a> {
fn hello() -> impl Sized + use<Self>;
//~^ ERROR `impl Trait` captures lifetime parameter, but it is not mentioned in `use<...>` precise captures list
}
fn trait_lt<'a, 'b, T: for<'r> TraitLt<'r>> () {
eq_types(
//~^ ERROR lifetime may not live long enough
//~| ERROR lifetime may not live long enough
<T as TraitLt<'a>>::hello(),
<T as TraitLt<'b>>::hello(),
);
}
trait MethodLt {
fn hello<'a: 'a>() -> impl Sized + use<Self>;
}
fn method_lt<'a, 'b, T: MethodLt> () {
eq_types(
T::hello::<'a>(),
T::hello::<'b>(),
);
// Good!
}
fn main() {}
|
