summaryrefslogtreecommitdiffstats
path: root/src/test/ui/type-alias-impl-trait/issue-55099-lifetime-inference.rs
diff options
context:
space:
mode:
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.rs26
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() {}