Type inference for arguments with default values?

The same thing about functions recently was discussed here.