diff options
Diffstat (limited to 'src/test/ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs')
-rw-r--r-- | src/test/ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/src/test/ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs b/src/test/ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs deleted file mode 100644 index af0780ab0..000000000 --- a/src/test/ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs +++ /dev/null @@ -1,26 +0,0 @@ -// 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() {} |