{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"next_trait_solver:"}]}
            next_trait_solver: self.next_trait_solver_globally(),
            skip_leak_check: false,
        }