1 error[E0080]: evaluation of constant value failed
2 --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
4 = note: unable to copy parts of a pointer from memory at ALLOC
6 = help: this code performed an operation that depends on the underlying bytes representing a pointer
7 = help: the absolute address of a pointer is not known at compile-time, so such operations are not supported
8 note: inside `std::ptr::read::<u8>`
9 --> $SRC_DIR/core/src/ptr/mod.rs:LL:COL
10 note: inside `ptr::const_ptr::<impl *const u8>::read`
11 --> $SRC_DIR/core/src/ptr/const_ptr.rs:LL:COL
13 --> $DIR/issue-miri-1910.rs:8:5
15 LL | (&foo as *const _ as *const u8).add(one_and_a_half_pointers).read();
16 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
18 error: aborting due to previous error
20 For more information about this error, try `rustc --explain E0080`.