[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Rainer Schuetze changed: What|Removed |Added Status|REOPENED|RESOLVED

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #13 from Walter Bright --- > Checking the disassembly for compiling with -dip1000 it doesn't generate the > closure that it is generating without the switch. When I check it, it does generate the closure.

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #12 from Rainer Schuetze --- This looks like a variation of https://issues.dlang.org/show_bug.cgi?id=17959, with -dip1000 inferring "scope". --

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #11 from Rainer Schuetze --- BTW: AFAIK -dip1000 is only supposed to affect @safe code, but there is no @safe in the original test cases. --

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Rainer Schuetze changed: What|Removed |Added Status|RESOLVED|REOPENED

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 ag0ae...@gmail.com changed: What|Removed |Added CC||ag0ae...@gmail.com --- Comment #9 from

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Rainer Schuetze changed: What|Removed |Added Resolution|WORKSFORME |FIXED --- Comment #8

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Walter Bright changed: What|Removed |Added Status|REOPENED|RESOLVED

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #6 from Rainer Schuetze --- > Adding more @safe Makes it compile and run successfully. Your safe code also fails with -dip1000. (tried on Windows/OMF). --

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #5 from Rainer Schuetze --- > This is because 'scope' for delegates now means something with dip1000, it > means the delegate must not escape. There is no "scope" in the test cases. I suspect it is falsely

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #4 from Walter Bright --- (In reply to Rainer Schuetze from comment #3) > Are you saying that it is ok that adding -dip1000 can change code gen so > that it crashes? Yes. This is because 'scope' for delegates

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Rainer Schuetze changed: What|Removed |Added Status|RESOLVED|REOPENED

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Walter Bright changed: What|Removed |Added Status|NEW |RESOLVED

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Walter Bright changed: What|Removed |Added Keywords||safe

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Carsten Blüggel changed: What|Removed |Added CC||chi...@posteo.net --

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 --- Comment #1 from Rainer Schuetze --- Reduced test: void main() { void delegate() dg; void savedg(void delegate() h) { dg = h; } void foo(int x) { savedg({ assert(x == 42); }); } foo(42); dg(); } Assertion

[Issue 17449] [DIP1000] crash due to covariant conversion of scope delegate to delegate

https://issues.dlang.org/show_bug.cgi?id=17449 Rainer Schuetze changed: What|Removed |Added Hardware|x86_64 |All