These two should not compile, and indeed, do not compile under other compilers.

program temp;

var a = 1 .. 2; type b: a;

begin if 1 then b := 0; end.

1 is not a boolean, yet it is accepted as boolean. b is initialized to an out-of-bounds value.