Universal Function Attribute Inference

[Walter Bright]

The main difficulty with this is it requires the compiler to compile all the 
functions in the "header" files. This is a significant performance penalty. That 
is why the current scheme only infers for functions that the compiler must 
compile anyway, such as templates and auto functions.

I'm not necessarilly saying "no", just that everyone should be aware of this.