src/test/ui/impl-trait/nested-return-type3-tait3.rs

   1 // check-pass
   2
   3 #![feature(type_alias_impl_trait)]
   4
   5 trait Duh {}
   6
   7 impl Duh for i32 {}
   8
   9 trait Trait {
  10     type Assoc: Duh;
  11 }
  12
  13 impl<F: Duh> Trait for F {
  14     type Assoc = F;
  15 }
  16
  17 type Traitable = impl Trait<Assoc = impl Send>;
  18 //~^ WARN opaque type `Traitable` does not satisfy its associated type bounds
  19
  20 fn foo() -> Traitable {
  21     42
  22 }
  23
  24 fn main() {
  25 }