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