Is the function overload resolution stable ?

[deadalnix]

All is in the title.

Function resolution in D is based on the concept of more 
specialized function. a is more specialized than b is b can be 
called with argument of a's parameter's type, and not the other 
way around.

The question is : is that stable ? Is that possible to have a < b 
< c < a ? I think this is not obvious, especially with alias 
this. Or is it ?