{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"match"}]}
        match (a.kind(Interner), b.kind(Interner)) {
        };
            (TyKind::Adt(id_a, sub_a), TyKind::Adt(id_b, sub_b)) if id_a == id_b => zip_substs(