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 ?