{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"if"}]}
                    if self.infcx.next_trait_solver() || self.infcx.predicate_may_hold(&obligation)
                    // We only need this hack to deal with fatal overflow in the old solver.
                    {