[Issue 16058] `immutable delegate()` and `immutable delegate() immutable` are considered equal but treated differently

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Thu Jun 2 08:23:26 PDT 2016


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

--- Comment #3 from Kenji Hara <k.hara.pg at gmail.com> ---
>From the type qualifier transitivity, immutable(int* delegate()) should be same
with immutable(int* delegate() immutable).

The root problem is in dmd implementation, TypeNext.makeXXX functions. Fixing
those implementation bugs is not difficult.

--


More information about the Digitalmars-d-bugs mailing list