Reworking parameter-argument test for method resolution (2) - Default types were not handled