tests/ui/unsized/issue-75899.rs

   1 // check-pass
   2
   3 trait Trait {}
   4 impl<T> Trait for T {}
   5
   6 trait Noop {
   7     type Assoc: ?Sized;
   8 }
   9 impl<T: ?Sized> Noop for T {
  10     type Assoc = T;
  11 }
  12
  13 struct NoopNewtype<T: ?Sized + Noop>(T::Assoc);
  14 fn coerce_newtype<T: Trait>(x: &NoopNewtype<T>) -> &NoopNewtype<dyn Trait + '_> {
  15     x
  16 }
  17
  18 fn main() {}