{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
        // The offset must be in bounds starting from `ptr`.
    ) -> InterpResult<'tcx, Pointer<Option<M::Provenance>>> {
        self.check_ptr_access_signed(