{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"max_input_universe:"}]}
            max_input_universe: ty::UniverseIndex::ROOT,
            // which we don't do within this evaluation context.
            initial_opaque_types_storage_num_entries: Default::default(),