{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"[]"}]}
            [] region_scope_tree: rustc_middle::middle::region::ScopeTree,
            [] const_allocs: rustc_middle::mir::interpret::Allocation,
            // Required for the incremental on-disk cache