{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"///"}]}
    /// `goto otherwise;`.
    /// The iterator may be empty, in which case the `SwitchInt` instruction is equivalent to
    pub fn new(targets: impl Iterator<Item = (u128, BasicBlock)>, otherwise: BasicBlock) -> Self {