{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"//"}]}
            // impossible without needing `switch` or `assume`s.
            // By using `trunc nuw` we communicate that other values are
            let true_bb = targets.target_for_value(1);