tests/ui/coherence/issue-99663.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 struct Send<T> {
   6     i: InnerSend<T>,
   7 }
   8
   9 type InnerSend<T> = impl Sized;
  10
  11 fn constrain<T>() -> InnerSend<T> {
  12     ()
  13 }
  14
  15 trait SendMustNotImplDrop {}
  16
  17 #[allow(drop_bounds)]
  18 impl<T: Drop> SendMustNotImplDrop for T {}
  19
  20 impl<T> SendMustNotImplDrop for Send<T> {}
  21
  22 fn main() {}