{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"if"}]}
        if self.next_trait_solver() {
        // We handle opaque types differently in the new solver.
            return InferOk { value, obligations: PredicateObligations::new() };