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