summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/issue-71036.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/issue-71036.rs')
-rw-r--r--src/test/ui/traits/issue-71036.rs17
1 files changed, 0 insertions, 17 deletions
diff --git a/src/test/ui/traits/issue-71036.rs b/src/test/ui/traits/issue-71036.rs
deleted file mode 100644
index 69eed0c04..000000000
--- a/src/test/ui/traits/issue-71036.rs
+++ /dev/null
@@ -1,17 +0,0 @@
-#![feature(unsize, dispatch_from_dyn)]
-
-use std::marker::Unsize;
-use std::ops::DispatchFromDyn;
-
-#[allow(unused)]
-struct Foo<'a, T: ?Sized> {
- _inner: &'a &'a T,
-}
-
-impl<'a, T: ?Sized + Unsize<U>, U: ?Sized> DispatchFromDyn<Foo<'a, U>> for Foo<'a, T> {}
-//~^ ERROR the trait bound `&'a T: Unsize<&'a U>` is not satisfied
-//~| NOTE the trait `Unsize<&'a U>` is not implemented for `&'a T`
-//~| NOTE all implementations of `Unsize` are provided automatically by the compiler
-//~| NOTE required for
-
-fn main() {}