@safe pure nothrow compiler inference

[Walter Bright via Digitalmars-d]

On 9/29/2014 7:40 AM, Daniel N wrote:
> 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.

I wanted to do it for "auto" returning functions, since they require a 
function body.


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

Not a bad idea. Please file as an enhancement request.

The more attribute inference we can do, the better.