{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"//!"}]}
//!   then `O` will be considered completed right away if `C` is the
//!   `process_obligations` returns `Changed(C)` for some obligation `O`,
//!   empty vector. Otherwise it will only be considered completed once