{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"projection_term:"}]}
                projection_term: projection_ty,
            ty::ClauseKind::Projection(ty::ProjectionPredicate {
                term,