{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"ty::AliasTermKind::ProjectionTy"}]}
                    ty::AliasTermKind::ProjectionTy => Ty::new_error(cx, guar).into(),
                let error_term = match goal.predicate.alias.kind(cx) {
                    ty::AliasTermKind::ProjectionConst => Const::new_error(cx, guar).into(),