Overloading based on attributes - is it a good idea?

[Andrei Alexandrescu]

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.