[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