src/test/ui/issues/issue-43623.rs

   1 pub trait Trait<'a> {
   2     type Assoc;
   3 }
   4
   5 pub struct Type;
   6
   7 impl<'a> Trait<'a> for Type {
   8     type Assoc = ();
   9 }
  10
  11 pub fn break_me<T, F>(f: F)
  12 where T: for<'b> Trait<'b>,
  13       F: for<'b> FnMut(<T as Trait<'b>>::Assoc) {
  14     break_me::<Type, fn(_)>;
  15     //~^ ERROR: type mismatch in function arguments
  16     //~| ERROR: type mismatch resolving
  17 }
  18
  19 fn main() {}