{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"diverging"}]}
            diverging = Some(arm);
        if ctx.sema.type_of_expr(&arm.expr()?)?.original().is_never() {
        } else {