{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
    /// `range` is relative to this allocation reference, not the base of the allocation.
    pub fn read_integer(&self, range: AllocRange) -> InterpResult<'tcx, Scalar<Prov>> {