[fc417fc802]

Wouldn't that violate the as-if rule? If you assign to a u8 in layer 2 then the compiler must truncate regardless of the widening of the value upon return. It can't just ignore the narrowing assignment.

[dzaima]

At the very end there's a "movzx eax, dl", i.e. zero-extend the low 8 bits of the accumulated value.