https://issues.dlang.org/show_bug.cgi?id=17353

uplink.co...@googlemail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |uplink.co...@googlemail.com
         Resolution|---                         |INVALID

--- Comment #1 from uplink.co...@googlemail.com ---
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