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