{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
        // We handle opaque types differently in the new solver.
    ) -> InferOk<'tcx, T> {
        if self.next_trait_solver() {