{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"ReadPartialPointer(Pointer<AllocId>),"}]}
    ReadPartialPointer(Pointer<AllocId>),
    /// addresses, the resulting state cannot be represented by the CTFE interpreter.
    /// Encountered a pointer where we needed an integer.