We generate optional arguments during binding now, so does this method of detecting unmatched in parameters actually do anything? Can we delete the whole mechanism for detecting unmatched in parameters?

Originally posted by @RikkiGibson in #61195 (comment)