{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//!"}]}
//! 1. Add a new root obligations (`register_obligation`).
//!
//! 2. Process the pending obligations (`process_obligations`).