Spec on casting to integer with smaller range than value

[user1234]

On Saturday, 28 March 2020 at 19:11:04 UTC, Johan wrote:
> 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

> cast(uint)x

is the trunc() that happens when casting a FP to integral type. 
https://dlang.org/spec/expression.html#cast_expressions §7.

> & 0xFF

is not specified but is the normal part of the cast uint -> ubyte.