{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"next_trait_solver:"}]}
            next_trait_solver: self.next_trait_solver,
            universe: self.universe.clone(),
            obligation_inspector: self.obligation_inspector.clone(),