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.