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

--- Comment #10 from Manu <turkeyman@gmail.com> ---
I already have workarounds. I'm making a big report, because this seems to be a bug.

--

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

--- Comment #11 from Manu <turkeyman@gmail.com> ---
**Bug report.

--

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

--- Comment #12 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/phobos pull request #7147 "prepare for fix of issue 20138 ("is expression not evaluating correct…" was merged into master:

- dc5e22944a048fb3a81f31875bcaa3c1adbb87ef by aG0aep6G:
  prepare for fix of issue 20138 ("is expression not evaluating correctly?")

  With issue 20138 fixed, `const U` and `shared U` do match `const shared T`,
  and they leave the other qualifier intact. So `const shared U` must be
  attempted first if we want to strip both qualifiers.

https://github.com/dlang/phobos/pull/7147

--

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

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #13 from Dlang Bot <dlang-bot@dlang.rocks> ---
dlang/dmd pull request #10317 "fix issue 20138 - is expression not evaluating correctly?" was merged into master:

- 5b5219e7c2f5c9abe17b82cb38847a84d87517ca by aG0aep6G:
  fix issue 20138 - is expression not evaluating correctly?

  When passing a `shared const T` into a `shared U` parameter, then no const
  conversion is needed to infer `U` as `const int`. Same with `inout int` and
  `inout const int`.

- cc9b34c49edb1b3e012294c0fbbbcf605369c5eb by aG0aep6G:
  add changelog entry for issue 20138

https://github.com/dlang/dmd/pull/10317

--

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

ag0aep6g <ag0aep6g@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |htvennik@gmail.com

--- Comment #14 from ag0aep6g <ag0aep6g@gmail.com> ---
*** Issue 20185 has been marked as a duplicate of this issue. ***

--