src/test/ui/lint/issue-102705.rs

   1 // check-pass
   2
   3 #![allow(opaque_hidden_inferred_bound)]
   4 #![allow(dead_code)]
   5
   6 trait Duh {}
   7
   8 impl Duh for i32 {}
   9
  10 trait Trait {
  11     type Assoc: Duh;
  12 }
  13
  14 impl<R: Duh, F: FnMut() -> R> Trait for F {
  15     type Assoc = R;
  16 }
  17
  18 fn foo() -> impl Trait<Assoc = impl Send> {
  19     || 42
  20 }
  21
  22 fn main() {}