What    |Removed                     |Added
             Status|NEW                         |RESOLVED
                 CC|                            |
         Resolution|---                         |INVALID

--- Comment #1 from ---
The static if and the static assert are indeed not equivalent
since type-system wise const(int[]) is a constant array of mutable ints.
The pattern-matching is expression set u to the element type of const(int[])
which is const(int).
If you then create the slice type of U you get const(int)[] 
which is different from const (int[]).

So there is no discrepancy.

I agree it can be annoying though.


Reply via email to