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

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