Automatic attribute inference of functions

[Sebastian Graf]

Hi,

I wonder if there are any plans to allow automatic inference of 
function attributes. I think it's a big hassle having to pollute 
function declarations with things like @safe, nothrow, pure, etc. 
let alone rembering them all.
I know this is done for anonymous functions on a best effort 
basis, so what is holding back that feature for regular 
functions? Is it

1. Incompleteness, e.g. hard to implement correctly for all 
cases, thus we better leave it out entirely
2. The fact that every new keyword (thinking of 'public auto 
infer') bloats the language
3. In practice it isn't as annoying as I might think, YAGNI

or a mixture of all 3?