Determine partial specialization order of 'this' vs td2.
match this is at least as specialized as td2 0 td2 is more specialized than this
See Implementation
Determine partial specialization order of 'this' vs td2.