{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"//"}]}
        // _1 = UbChecks()
        // And MIR for if intrinsics::ub_checks() looks like this:
        // SwitchInt(_1)