{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"(TyKind::FnDef(fn_def_a,"}]}
            (TyKind::FnDef(fn_def_a, sub_a), TyKind::FnDef(fn_def_b, sub_b))
            (TyKind::Slice(ty_a), TyKind::Slice(ty_b)) => self.zip_tys(variance, ty_a, ty_b)?,
                if fn_def_a == fn_def_b =>