]> git.lizzy.rs Git - rust.git/blob - src/test/ui/impl-trait/issue-99073.rs
Check that RPITs constrained by a recursive call in a closure are compatible
[rust.git] / src / test / ui / impl-trait / issue-99073.rs
1 fn main() {
2   let _ = fix(|_: &dyn Fn()| {});
3 }
4
5 fn fix<F: Fn(G), G: Fn()>(f: F) -> impl Fn() {
6   move || f(fix(&f))
7   //~^ ERROR concrete type differs from previous defining opaque type use
8 }