tests/ui/impl-trait/issue-99073.rs


1
2
3
4
5
6
7
8
9

fn main() {
  let _ = fix(|_: &dyn Fn()| {});
}

fn fix<F: Fn(G), G: Fn()>(f: F) -> impl Fn() {
  move || f(fix(&f))
  //~^ ERROR concrete type differs from previous defining opaque type use
  //~| ERROR expected generic type parameter, found `&F`
}