[Issue 20138] is expression not evaluating correctly?

[d-bugmail at puremagic.com]

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

--- Comment #9 from ag0aep6g <ag0aep6g at gmail.com> ---
(In reply to Simen Kjaeraas from comment #8)
> is(shared const int : shared U, U) does evaluate to true, and U is const
> int. Can you elaborate on why that's not good enough?

That seems like a viable workaround, hinging on the fact that `is(int : shared
U, U)` is false even though there are possible values for `U` that would pass
(e.g., `is(int : shared int)` is true).

But it doesn't change that the result of `==` is wrong.

--