Bug 17606 – dmd wrongly accepts field without type when annotated with a UDA

DMD64 D Compiler v2.074.0 ``` struct foo{} struct A{ // compiles but shouldn't: missing bool @foo a=false; } ```

As far as I can tell, the grammar allows it. As a UserDefinedAttribute, `@foo` matches Property [1]. Property is one of the options for StorageClass [2] (another option is the `auto` keyword). With `@foo` matching StorageClass, `@foo a = false;` matches AutoDeclaration [3] just like `auto a = false;` would. [1] http://dlang.org/spec/attribute.html#Property [2] http://dlang.org/spec/declaration.html#StorageClass [3] http://dlang.org/spec/declaration.html#AutoDeclaration

Yeah, pretty sure you can add anything to a declaration that distinguishes it from a statement, which apparently includes UDAs. "auto" is a no-effect keyword that you can use if you have nothing else to write there. Same reason why `const foo() { return 1; }` is valid inside a method.