@safe pure nothrow compiler inference

[Daniel N via Digitalmars-d]

On Monday, 29 September 2014 at 14:32:16 UTC, Atila Neves wrote:
> So somehow I missed that for template functions the attributes 
> can be inferred. From what I can tell it has to do with having 
> the body available. But when not using .di files, why can't it 
> be done for regular functions?
>
> Atila

It can be done, Walter wanted to do it, but there was large 
resistance, mainly because library APIs would become unstable, 
possibly changing between every release.

IMHO it would be safe to use inference for private functions...

Daniel N