Fix bug in Infer.resolve
Fix bug in Infer.resolve

Overloads with fewer arguments were being considered specializations of
those with more arguments, which resulted in the short overload being
chosen when it should have been ambiguous.

girving/duck,girving/duck