{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
        // so alternatively we could also check that and ICE if there are multiple such pointers.)
        // (It is likely not possible to actually have multiple pointers to the same allocation,
        // See <https://github.com/rust-lang/rust/pull/128543> for why we are checking for "shared