18 lines
513 B
Rust
18 lines
513 B
Rust
#![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() {}
|