@safe pure nothrow compiler inference

[Atila Neves via Digitalmars-d]

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