https://issues.dlang.org/show_bug.cgi?id=17409
Issue ID: 17409 Summary: [ICE] Segmentation fault with invalid code and -dip1000 Product: D Version: D2 Hardware: All OS: All Status: NEW Keywords: safe Severity: normal Priority: P1 Component: dmd Assignee: nob...@puremagic.com Reporter: mathias.l...@sociomantic.com The following code: ``` void main () @safe { scope void delegate (void*) @safe s = (a) {}; scope void* ptr; s(ptr); } ``` Compiles correctly with `dmd test.d` and segfault when compiler with `dmd -dip1000 test.d`. I would expect compilation to fail as it attempts to pass a `scope void*` to a delegate accepting `void*`. Tested with 2.074 and master (v2.075.0-devel-f234dde37). --