{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//!"}]}
//!   "backtrace" of obligations (that is, the list of obligations up to
//!   error and return it from `process_obligations`, along with the
//!   and including the root of the failed obligation). No further