{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//"}]}
            // Required for the incremental on-disk cache
            [] region_scope_tree: rustc_middle::middle::region::ScopeTree,
            [] mir_keys: rustc_hir::def_id::DefIdSet,