[Issue 16500] inferred != annotated pure

[d-bugmail at puremagic.com]

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

Stanislav Blinov <stanislav.blinov at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |stanislav.blinov at gmail.com
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=22614

--- Comment #1 from Stanislav Blinov <stanislav.blinov at gmail.com> ---
I would strongly suggest constructors which are inferred pure, as opposed to
explicitly annotated, MUST NOT be considered for uniqueness. Doing otherwise
can lead to unexpected changes in program behavior, silent bugs. See the
related issue for rationale.

--