https://issues.dlang.org/show_bug.cgi?id=20150
Dlang Bot <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #7 from Dlang Bot <[email protected]> --- dlang/dmd pull request #12010 "fix Issue 20150 - -dip1000 defeated by pure" was merged into master: - 5d5c2e3ca3814ea0064aa9241ab8ec938403aa2c by aG0aep6G: fix Issue 20150 - -dip1000 defeated by pure https://github.com/dlang/dmd/pull/12010 --
