semantic: Account for the possibility of no match for an overload set.