On 2020-05-02 13:43, Joerg wrote: > If the compiler does not generate a runtime range check for b := i, > then b := 300; should not generate a compile time error neither. Why not? For a byte variable b, the statement b := 300 is invalid according to the language report, so I think the compiler should reject it. -- August