1 #![feature(unsize, dispatch_from_dyn)]
3 use std::marker::Unsize;
4 use std::ops::DispatchFromDyn;
7 struct Foo<'a, T: ?Sized> {
11 impl<'a, T: ?Sized + Unsize<U>, U: ?Sized> DispatchFromDyn<Foo<'a, U>> for Foo<'a, T> {}
12 //~^ ERROR the trait bound `&'a T: Unsize<&'a U>` is not satisfied
13 //~| NOTE the trait `Unsize<&'a U>` is not implemented for `&'a T`
14 //~| NOTE all implementations of `Unsize` are provided automatically by the compiler
15 //~| NOTE required for