Give error when uncurried application tries to use label from result type.

Author: cristianoc

jscomp/ml/typecore.ml

@@ -3035,6 +3035,7 @@ and type_application uncurried env funct (sargs : sargs) : targs * Types.type_ex
               (t1, t2)
           | Tarrow (l,t1,t2,_) when Asttypes.same_arg_label l l1 && arity_ok
             ->
+              if List.length args >= max_arity then assert false;
               (t1, t2)
           | td ->
               let ty_fun =