blob: af0780ab0b998aaad268e96d12727f6eebbb4383 (
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
|
// check-pass
// Regression test for issue #55099
// Tests that we don't incorrectly consider a lifetime to part
// of the concrete type
#![feature(type_alias_impl_trait)]
trait Future {}
struct AndThen<F>(F);
impl<F> Future for AndThen<F> {}
struct Foo<'a> {
x: &'a mut (),
}
type F = impl Future;
impl<'a> Foo<'a> {
fn reply(&mut self) -> F {
AndThen(|| ())
}
}
fn main() {}
|