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

hsteoh@quickfur.ath.cx changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |diagnostic
                 CC|                            |hsteoh@quickfur.ath.cx

--

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

Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Severity|normal                      |enhancement

--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> ---
At least it's not incorrect behavior.

With is(T == U), if T is invalid type, currently U's analysis is entirely skipped for short-circuit evaluation.

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P2                          |P4

--

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

Basile-z <b2.temp@gmx.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |b2.temp@gmx.com
         Resolution|---                         |WORKSFORME

--- Comment #2 from Basile-z <b2.temp@gmx.com> ---
nowadays output is much better:


> /tmp/temp_7F98B13450B0.d(10,6): Error: none of the overloads of template  `temp_7F98B13450B0.fun` are callable using argument types `!()(int)`
> /tmp/temp_7F98B13450B0.d(6,6):        Candidate is: `fun(T)(T a)`
>  with `T = int`
>  must satisfy the following constraint:
>`       is(unexisting!T == unexisting!T)`

--