about summary refs log tree commit diff
path: root/src/test/ui/mir/issue-80949.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/mir/issue-80949.rs')
-rw-r--r--src/test/ui/mir/issue-80949.rs34
1 files changed, 0 insertions, 34 deletions
diff --git a/src/test/ui/mir/issue-80949.rs b/src/test/ui/mir/issue-80949.rs
deleted file mode 100644
index 7e34a4f5c27..00000000000
--- a/src/test/ui/mir/issue-80949.rs
+++ /dev/null
@@ -1,34 +0,0 @@
-// build-pass
-
-trait Trait { type Item; }
-
-impl<'a, X> Trait for &'a Vec<X> {
-    type Item = &'a X;
-}
-
-impl<X> Trait for Box<dyn Trait<Item = X>> {
-    type Item = X;
-}
-
-fn make_dyn_trait(_: &()) -> Box<dyn Trait<Item = &()>> {
-    todo!()
-}
-
-fn diff<'a, M, N, S>(_: N, _: S)
-where
-    M: 'a,
-    N: Trait<Item = &'a M>,
-    S: Trait<Item = &'a M>,
-{
-    todo!()
-}
-
-fn may_panic<X>(_: X) { }
-
-fn main() {
-    let dyn_trait = make_dyn_trait(&());
-    let storage = vec![()];
-    let _x = may_panic(());
-    let storage_ref = &storage;
-    diff(dyn_trait, storage_ref);
-}