about summary refs log tree commit diff
path: root/src/test/ui/impl-trait/issue-100075.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/impl-trait/issue-100075.rs')
-rw-r--r--src/test/ui/impl-trait/issue-100075.rs21
1 files changed, 0 insertions, 21 deletions
diff --git a/src/test/ui/impl-trait/issue-100075.rs b/src/test/ui/impl-trait/issue-100075.rs
deleted file mode 100644
index ea30abb4855..00000000000
--- a/src/test/ui/impl-trait/issue-100075.rs
+++ /dev/null
@@ -1,21 +0,0 @@
-trait Marker {}
-impl<T> Marker for T {}
-
-fn maybe<T>(
-    _t: T,
-) -> Option<
-    //removing the line below makes it compile
-    &'static T,
-> {
-    None
-}
-
-fn _g<T>(t: &'static T) -> &'static impl Marker {
-    //~^ ERROR cannot resolve opaque type
-    if let Some(t) = maybe(t) {
-        return _g(t);
-    }
-    todo!()
-}
-
-fn main() {}