{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"(&ty::Closure(def_id_a,"}]}
        (&ty::Closure(def_id_a, args_a), &ty::Closure(def_id_b, args_b))
        (ty::Array(a, _), ty::Array(b, _)) => assert_assignable(fx, *a, *b, limit - 1),
            if def_id_a == def_id_b =>