{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
    // not values -- so what we do here could break pointer identity.
    // This shouldn't be used for statics, since statics are conceptually places,
    assert!(key.value.promoted.is_some() || !tcx.is_static(key.value.instance.def_id()));