// it's a named thing, it is a constant and do the
// types match?
if (named.isConstant())
{
Constant c = (Constant) named;
// it's a constant, do the types match?
Named<?> ct = c.type().getNamed( msg.parent() );
Named<?> paramType = param.type().getNamed( msg.parent() );
if (ct == paramType)
return;
throw typeMismatch( param, arg, argNo );