{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//!"}]}
//! - `Error(E)` -> obligation failed with error `E`. We will collect this
//!   `process_obligations`.
//!   error and return it from `process_obligations`, along with the