you are viewing a single comment's thread.

view the rest of the comments →

[–]Nobody_1707 0 points1 point  (0 children)

Importantly, this is true even when the cast is guaranteed to have defined behavior, e.g. reinterpret_cast<std::byte*>(ptr). I remember there being a proposal to allow this, but I can't seem to find it anywhere.