Overloading based on attributes - is it a good idea?

[Kagamin]

On Tuesday, 28 May 2019 at 16:08:38 UTC, Andrei Alexandrescu 
wrote:
> int fun(int) pure;
> int fun(int);
>
> pure int gun(int x)
> {
>    return fun(x);
> }
>
> This doesn't work, but on the face of it it's not ambiguous - 
> the second overload of fun() would not compile anyway.
>
> I was wondering whether allowing overloading on attributes in 
> general would be a good idea. I suspect templates and attribute 
> deduction make that difficult.

It worked between 2.075 and 2.085, called the pure overload.