More interesting example.

Author: cristianoc

compiler/core/js_exp_make.ml

@@ -881,6 +881,7 @@ let rec simplify_and (e1 : t) (e2 : t) : t option =
            _ ) as is_array) )
     when Js_op_util.same_vident ia ib ->
     Some {expression_desc = is_array; comment = None}
+  | x, y when x = y -> Some e1
   | _ -> None
 
 (**

tests/tests/src/and_or_simplify.res

@@ -1,5 +1,5 @@
 @unboxed
-type t = | @as(null) Null | @as(undefined) Undefined | B(bool) //| S(string)
+type t = | @as(null) Null | @as(undefined) Undefined | B(bool) | S(string) | I(int)
 
 let check_null_eq_typeof = x =>
   switch x {

tests/tests/src/option_repr_test.mjs

@@ -221,9 +221,9 @@ b("File \"option_repr_test.res\", line 127, characters 3-10", Belt_List.every(xs
 let xs_1$1 = {
   hd: neqx(undefined, null),
   tl: {
-    hd: Primitive_object.equal(Primitive_option.some(undefined), Primitive_option.some(undefined)) && Primitive_object.equal(Primitive_option.some(undefined), Primitive_option.some(undefined)),
+    hd: Primitive_object.equal(Primitive_option.some(undefined), Primitive_option.some(undefined)),
     tl: {
-      hd: Primitive_object.equal(Primitive_option.some(Primitive_option.some(undefined)), Primitive_option.some(Primitive_option.some(undefined))) && Primitive_object.equal(Primitive_option.some(Primitive_option.some(undefined)), Primitive_option.some(Primitive_option.some(undefined))),
+      hd: Primitive_object.equal(Primitive_option.some(Primitive_option.some(undefined)), Primitive_option.some(Primitive_option.some(undefined))),
       tl: {
         hd: Primitive_object.notequal(Primitive_option.some(Primitive_option.some(Primitive_option.some(undefined))), Primitive_option.some(Primitive_option.some(undefined))) && Primitive_object.notequal(Primitive_option.some(Primitive_option.some(undefined)), Primitive_option.some(Primitive_option.some(Primitive_option.some(undefined)))),
         tl: /* [] */0