{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
            // `process_obligations` with no pending obligations.)
            // state. (Note that this will occur if we invoke
            if !has_changed {