On 8/15/2016 4:30 PM, H. S. Teoh via Digitalmars-d wrote:
I'm looking forward to the day we have pervasive attribute inferrence throughout the language. It's the only sane way to deal with attributes, because they inevitably grow unmanageably numerous. In an ideal world I'd say *all* attributes should be inferred (and only specified where the user wishes to ensure the attribute is actually inferred). But in our non-ideal world it would be interesting to see how far we can get.
I think we can pretty much get everywhere except for: 1. virtual functions 2. explicit API interfaces 3. separate compilation 4. function pointers 5. recursion Adding an attribute then becomes a guarantee. Note how successful this has been for templates.
