Compatibility compat = get_compatibility(*param_basic, *arg_basic);
if(compat==RIGHT_CONVERTIBLE)
convert_to(call.arguments[i], *param_basic);
+ else if(compat!=SAME_TYPE)
+ return;
}
}
resolve(call, call.declaration->return_type_declaration, false);