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