Bug 23933 – auto return type disables DIP1000 scope check

This fails to compile with -preview=dip1000: --------------- struct Struct { int* p; void hmm(int i) @safe { } } void safeUsage() @safe { int i; scope s = Struct(); s.hmm(42); } --------------- bug.d(9): Error: scope variable `s` assigned to non-scope parameter `this` calling `hmm` But changing `hmm`'s return type to `auto` makes the error go away.

Under the current specification this is not a bug, even though the behavior is surprising. Attributes are inferred for auto functions because you a function body needs to be present. Attributes are not inferred for non-auto functions, even if the body is present.

[...] for auto functions because a function body needs to be present*

So, if we enable attribute inference for all functions that have a body, this will be fixed as a consequence. Or, the workaround would be to manually annotate `hmm` as scope.

The inference can be seen when you use auto instead of scope inside of safeUsage when you output the AST. ```d struct Struct { int* p; @safe void hmm(int i) { } } ``` vs with scope & auto: ```d struct Struct { int* p; auto pure nothrow @nogc @safe void hmm(int i) { } } ``` I don't see a bug here. This looks to be working correctly. A method that was not annotated with scope, used with scope, works when inference is turned on. So I'm closing.