Phobos - pure, const, safe, nothrow

[Joseph Rushton Wakeling]

On 29/09/13 11:37, monarch_dodra wrote:
> On Sunday, 29 September 2013 at 09:00:56 UTC, simendsjo wrote:
>> What is the status of adding these annotations to phobos? It's difficult to
>> use these until phobos gets them. E.g. to! and format is not pure.
>
> Most of phobos is templated, meaning it relies on inference.

In various recent template-related explorations I have often wished it was 
possible to infer function attributes from template arguments .... :-(

See e.g. Proxy, which loses all the corresponding attributes of the underlying 
type's methods.