{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// We must not attempt to select obligations after this method has run, or risk query cycle
    ///
    /// ICE.