{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"///"}]}
    /// we instantiate the promoted constants and add them to our promoted vector -- but those
    /// MIR has traversed. This is particularly useful when inlining, since in that context
    /// promoted items have already been optimized, whereas ours have not. This field allows