Bind unmatched template types to never when inferring an argument against a union of template types

Bind unmatched template types to never when inferring an argument against a union of template types #4263