[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

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

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 --- Comment #7 from Walter Bright --- Declaring c as: S c = S(); does cause it to be inferred to be `scope`, and the next line is then correctly diagnosed. So, the trouble is the scope inference should be looking at the elements of the static

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 --- Comment #6 from Walter Bright --- The `c` should be inferred as `scope`. --

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 --- Comment #5 from Walter Bright --- A simpler version that should fail to compile: int** global; struct S { int** str; } void f() @safe { int* buf; S[1] c = S(); global = c[0].str; /* This should be rejected. */ } --

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 Walter Bright changed: What|Removed |Added See Also||https://issues.dlang.org/sh

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 ag0aep6g changed: What|Removed |Added Status|RESOLVED|REOPENED CC|

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

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

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

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

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 Walter Bright changed: What|Removed |Added CC|

[Issue 17764] [scope][DIP1000] Escape checker defeated by composition transformations

https://issues.dlang.org/show_bug.cgi?id=17764 ZombineDev changed: What|Removed |Added Keywords||accepts-invalid,