{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
    /// without having a layout or `TyCtxt` available, and we want to keep the `Operand` type
    /// This is a hack because Miri needs a way to visit all the provenance in a `LocalState`
    /// private.