{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"ty::AliasTermKind::ProjectionTy"}]}
                ty::AliasTermKind::ProjectionTy => {
            let term = match goal.predicate.alias.kind(cx) {
                    cx.type_of(target_item_def_id).map_bound(|ty| ty.into())