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