{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"if"}]}
                            if self.next_trait_solver() {
                            // We need to eagerly handle nested obligations due to lazy norm.
                                let ocx = ObligationCtxt::new(self);