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