{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // There's not really any point in promoting errorful MIR.
        // This does not include MIR that failed const-checking, which we still try to promote.