When one method is compared to another for "most specific" analysis, and the second is generic, inference is performed to determine if any instantiation of the second method's type parameters allows the second to be considered more specific than the first.

Given the changes to most-specific testing (in the absence of a generic method) and type inference, this needs to be re-specified.