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.)
