mirror of https://github.com/rust-lang/rust
27 lines
406 B
Rust
27 lines
406 B
Rust
//@ 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() {}
|