{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"if"}]}
                if x == y && ctx.table.unify(&self.merged_ty(), &expr_ty) =>
            (TyKind::FnDef(x, _), TyKind::FnDef(y, _))
            {