if (arg.getSTable().WHAT != type && type != null)
{
typeMismatch = true;
break;
}
DefinednessConstraint definedness = candidate.Sig.Parameters[i].Definedness;
if (definedness != DefinednessConstraint.None)
{
boolean argDefined = arg.getSTable().REPR.defined(null, arg);
if (definedness == DefinednessConstraint.DefinedOnly && !argDefined ||
definedness == DefinednessConstraint.UndefinedOnly && argDefined)