{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            ProjectionElem::OpaqueCast(_) => (),
        ty = proj.projected_ty(ty, db, make_fetch_closure_field(db), body.owner.module(db).krate());