fn main() {

    trait Trait
    {
        type AssocType;
    }

    impl Trait for i32
    {
        type AssocType = i32;
    }

    fn gen_id_closure() -> impl Fn(<i32 as Trait>::AssocType)
    {
        |x| {}
    }

}