Spec on casting to integer with smaller range than value

[Johan]

On Saturday, 28 March 2020 at 15:23:19 UTC, Stefan Koch wrote:
>
> cast (ubyte)x is the same as = ((cast(uint)x) & 0xff)

Where does the spec say that?

-Johan