{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//!"}]}
//!   and including the root of the failed obligation). No further
//!   "backtrace" of obligations (that is, the list of obligations up to
//!   obligations from that same tree will be processed, since the tree is