tests/ui/type-alias-impl-trait/recursive-fn-tait.rs

// test for #113326
#![feature(type_alias_impl_trait)]

pub type Diff = impl Fn(usize) -> usize;

pub fn lift() -> Diff {
    |_: usize |loop {}
}

pub fn add(
    n: Diff,
    m: Diff,
) -> Diff {
    move |x: usize| m(n(x)) //~ ERROR: concrete type differs
}

fn main() {}