Type argumentType = argument.getType();
if (argumentType != parameterType) {
// This is inefficient. Full type merging is
// expensive and unnecessary.
isEqual = (parameterType == argumentType.merge(
parameterType, Scene.v()));
}
if (!isEqual) {
break;