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

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`
}
Do not allow typeck children items to constrain outer RPITs 2022-07-16 20:08:04 +00:00			`fn main() {`
Check that RPITs constrained by a recursive call in a closure are compatible 2022-07-09 07:11:03 +00:00			`let _ = fix(\|_: &dyn Fn()\| {});`
Do not allow typeck children items to constrain outer RPITs 2022-07-16 20:08:04 +00:00			`}`

			`fn fix<F: Fn(G), G: Fn()>(f: F) -> impl Fn() {`
Check that RPITs constrained by a recursive call in a closure are compatible 2022-07-09 07:11:03 +00:00			`move \|\| f(fix(&f))`
			`//~^ ERROR concrete type differs from previous defining opaque type use`
check for non-defining uses of RPIT 2023-07-21 10:27:41 +00:00			//~\| ERROR expected generic type parameter, found `&F`
Do not allow typeck children items to constrain outer RPITs 2022-07-16 20:08:04 +00:00			`}`