{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":")"}]}
    ) -> (Option<ClosureRegionRequirements<'tcx>>, RegionErrors<'tcx>) {
        polonius_output: Option<Box<PoloniusOutput>>,
        let mir_def_id = body.source.def_id();