On Sun, Jan 6, 2013 at 3:58 PM, Andrei Alexandrescu <SeeWebsiteForEmail@erdani.org> wrote:
On 1/6/13 9:25 AM, Philippe Sigaud wrote:
That's too bad, because declaring UDA is simple, and receiving them with
arguments is easy also. There is a fundamental imbalance in having
having propagating attributes through functions so difficult.

<brokenrecord>For designing attributes that navigate with types templates would be the solution of choice.</brokenrecord>

Care to show a small example?

I tried 1-2 years ago. With alias this, that's partially acceptable. I just remember it was a bit burdensome tp use and dumped it.
But OK, if UDA do not do that, then I'll go back to templates. Since alias this become better, maybe something can be done here.