{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
// all the Miri types.
// We want the `Debug` output to be readable as it is used by `derive(Debug)` for
impl<Prov: Provenance> fmt::Debug for Pointer<Prov> {