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