Overloading based on attributes - is it a good idea?

[user1234]

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.

I'm afraid of non-intuitive or unexpected selection of overloads. 
Example during debugging someone realizes that "oh i see, this 
one is used actually".