{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
    /// [`ptr::addr`] method instead, which has a similar effect, but doesn't
    /// Since this cast is lossy, it is considered good style to use the
    /// "expose" the pointer provenance. This improves optimisation potential.