{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"match"}]}
                        match self.commit_if_ok(|_| {
                        // are the same function and their parameters have a LUB.
                            // We need to eagerly handle nested obligations due to lazy norm.