tests/ui/higher-rank-trait-bounds/issue-43623.rs

   1 // check-pass
   2
   3 pub trait Trait<'a> {
   4     type Assoc;
   5 }
   6
   7 pub struct Type;
   8
   9 impl<'a> Trait<'a> for Type {
  10     type Assoc = ();
  11 }
  12
  13 pub fn break_me<T, F>(f: F)
  14 where
  15     T: for<'b> Trait<'b>,
  16     F: for<'b> FnMut(<T as Trait<'b>>::Assoc),
  17 {
  18     break_me::<Type, fn(_)>;
  19 }
  20
  21 fn main() {}