{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"//"}]}
    // This shouldn't be used for statics, since statics are conceptually places,
) -> ::rustc_middle::mir::interpret::EvalToAllocationRawResult<'tcx> {
    // not values -- so what we do here could break pointer identity.