src/test/ui/coherence/issue-99663-2.rs

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