rust/tests/ui/associated-type-bounds/dont-imply-atb-in-closure-inference.rs

//@ check-pass

#![feature(type_alias_impl_trait)]

trait IsPtr {
    type Assoc;
}
impl<T> IsPtr for T {
    type Assoc = fn(i32);
}

type Tait = impl IsPtr<Assoc: Fn(i32)> + Fn(u32);

fn hello()
where
    Tait:,
{
    let _: Tait = |x| {};
}

fn main() {}