{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"if"}]}
            if !has_changed {
            // `process_obligations` with no pending obligations.)
                break;