{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"next_trait_solver,"}]}
            next_trait_solver,
            universe: Cell::new(ty::UniverseIndex::ROOT),
            obligation_inspector: Cell::new(None),