Bug 1599 – compile time evaluation with immutable problem

This compiles: template foo(A...) { invariant char[] foo = A[0]; } static assert(foo!("a") == "a"); This doesnt: template foo(A...) { invariant(char)[] foo = A[0]; } static assert(foo!("a") == "a"); The error: static assert (foo == "a") is not evaluatable at compile time the difference is the ()'s around char, it's subtle. :)

The compiler doesn't give the normal 'invariant is deprecated' error message for the first case. I think it's not running semantic() on it.

template foo(A...) { immutable(char)[] foo = A[0]; } static assert(foo!("a") == "a"); ---- vug.d(2): Error: variable foo cannot be read at compile time vug.d(2): while evaluating: static assert(foo == "a") This is because foo is a mutable run-time array of immutable(char). Not a bug.