{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            return Ty::new(Interner, TyKind::Error);
        let subst = subst.push(lhs_ty.clone()).push(rhs_ty.clone()).build();