{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"map:"}]}
            map: Map::new(tcx, body, Some(MAX_PLACES)),
            arena,
            loop_headers: loop_headers(body),