CTFE is getting too powerful :o)

[Timon Gehr]

On 03/27/2013 05:55 PM, Timon Gehr wrote:
> ...
>
>   - Only type casts are evaluated whose kind may not harm type safety.
> ...

This could easily be lifted as well by doing a more "runtime" checks (in 
such a way that there is no additional overhead for the interpreter 
except when there is an out-of-bounds access, which would terminate CTFE 
anyway and in the final sanity check when the resulting value is returned.)