{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//!"}]}
//! `N` is both the root and the only leaf. Each time the
//! which is given at the same time. This tree is a singleton to start, so
//! `process_obligations` method is called, it will invoke its callback