{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"//!"}]}
//!   surrounding environment changes.
//!   obligation will yield the same result unless something in the
//! - `Changed(C)` - the obligation was *shallowly successful*. The