{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
                            // We need to eagerly handle nested obligations due to lazy norm.
                        match self.commit_if_ok(|_| {
                            if self.next_trait_solver() {