{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// - If some obligations can be neither proven nor disproven, then
    ///   query result (which is then itself canonicalized).
    ///   the same thing happens, but the resulting query is marked as ambiguous.