type bounds not honored at compile time

[trufae]

V version: V 0.1.28 e1eb9c4
OS: macOS 10.15

What did you do?

in C this generates:

byte a = ((byte)(300));

What did you expect to see?

compile time error complaining about invalid value for given type like it happens if you do a := string(123)

What did you see instead?

a is 44 :D

[ntrel]

Pretty sure this is by design. byte() is a type conversion, not a byte literal.

[ntrel]

We could add a check that integer literals are within the bounds of the requested type conversion. byte(12) would be a de-facto byte literal.

[medvednikov]

Still an issue.

[pierrec]

I would like to work on this to improve my understanding of the compiler. However after looking around, I cannot find an entry point to fix this. Any pointer?