![]() rename PointerAddress → PointerExposeAddress `PointerAddress` sounds a bit too much like `ptr.addr()`, but this corresponds to `ptr.expose_addr()`. r? `@tmiasko` |
||
---|---|---|
.. | ||
const_eval | ||
interpret | ||
transform | ||
util | ||
lib.rs |
![]() rename PointerAddress → PointerExposeAddress `PointerAddress` sounds a bit too much like `ptr.addr()`, but this corresponds to `ptr.expose_addr()`. r? `@tmiasko` |
||
---|---|---|
.. | ||
const_eval | ||
interpret | ||
transform | ||
util | ||
lib.rs |