Mitigating the attribute proliferation - attribute inference for functions

[Kagamin via Digitalmars-d]

On Saturday, 11 April 2015 at 21:47:20 UTC, Martin Nowak wrote:
> 1) If that function has source code available, it gets 
> semantically
> analyzed and additional attributes are inferred.
>
> 2) The compiler errors because of missing attributes.

I'd say, if you have the function body, you can infer its 
attributes, else you have its signature annotated with 
attributes, then they are honored normally.