{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//!"}]}
//! which includes two bits of information:
//! When the call to `process_obligations` completes, you get back an `Outcome`,
//!