Phobos - pure, const, safe, nothrow

[Kenji Hara]

On Wednesday, 2 October 2013 at 13:31:04 UTC, Joseph Rushton 
Wakeling wrote:
> 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.

std.typecons.Proxy is designed to work transparently for the 
underlying method qualifiers. But I also agree that the 
implementation is still insufficient.

Could you show us the "not working" case? It would be much help.

Kenji Hara