Optimizations not applied when record has an optional field

The following code (without an optional field)

type t = {
  a: string,
  b: int
}

let x = { a: "test", b: 1 }
let y = { ...x, b: 5 }

let f = x => { ...x, b: x.b + 1 }

is compiled to

var y = {
  a: "test",
  b: 5
};

function f(x) {
  return {
          a: x.a,
          b: x.b + 1 | 0
        };
}

var x = {
  a: "test",
  b: 1
};

However, as soon as I make a an optional field, the output changes to the more inefficient

var x = {
  a: "test",
  b: 1
};

var newrecord = Caml_obj.obj_dup(x);

newrecord.b = 5;

function f(x) {
  var newrecord = Caml_obj.obj_dup(x);
  newrecord.b = x.b + 1 | 0;
  return newrecord;
}

var y = newrecord;

Inizia riproducendo i due esempi di record-spread dell’issue e confronta il JavaScript generato per i campi obbligatori rispetto a quelli opzionali. Segui l’ottimizzazione del compilatore per l’aggiornamento dei record e determina perché il caso con campi opzionali usa Caml_obj.obj_dup; il lavoro è completato quando l’output ottimizzato viene mantenuto dove è valido e viene aggiunta la copertura per entrambi gli esempi.