{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"optimized_mir:"}]}
    optimized_mir: Table<DefIndex, LazyValue<mir::Body<'static>>>,
    object_lifetime_default: Table<DefIndex, LazyValue<ObjectLifetimeDefault>>,
    mir_for_ctfe: Table<DefIndex, LazyValue<mir::Body<'static>>>,