{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"///"}]}
    /// satisfied.
    /// The `otherwise` branch which will be taken in case none of the conditional branches are
    otherwise: BasicBlockIdx,