actually we want this constraint exception to fall through

typer.ml

@@ -2246,11 +2246,7 @@ and type_binop2 ctx op (e1 : texpr) (e2 : Ast.expr) is_assign_op wt p =
 								Type.type_eq EqStrict e2.etype t2;
 								Codegen.AbstractCast.cast_or_unify_raise ctx t1 e1 p,e2
 							end in
-							begin try
-								check_constraints ctx "" cf.cf_params monos (apply_params a.a_params tl) false cf.cf_pos;
-							with Unify_error l ->
-								display_error ctx (error_msg (Unify l)) p
-							end;
+							check_constraints ctx "" cf.cf_params monos (apply_params a.a_params tl) false cf.cf_pos;
 							let e = if not swapped then
 								make e1 e2
 							else