https://issues.dlang.org/show_bug.cgi?id=18281
Nick Treleaven <n...@geany.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |n...@geany.org Resolution|WONTFIX |INVALID --- Comment #2 from Nick Treleaven <n...@geany.org> --- anonymous4: The following code works with -dip1000, so this is nothing to do with Turing completeness, but this bug is still invalid: void main() @safe { string foo = "foo"; string* p = &foo; string*[] arr = [&foo]; } `p` and `arr` are inferred as scope. In the original code, there are no initializers so dmd can't infer scope. The compiler should mention that the assignment fails because the assignee is not scope though. --