pattern matching on polymorphism variant / extensible variant generates inefficient if chains

[hackwaly]

Thus make them unusable indeed.

See https://rescript-lang.org/try?version=v11.1.2&code=C4TwDgpgBMULxQNoCgpQD5QMQBUCMqG2OATIZrgMznEAsNuArMgLrLIA2EswA9gMrAATgEsAdgHN4UABQAPAFwwAlPAB8UAN6EAzgHcRwAMYALKHK2EiuPOqgAifPasVSdxyWdprOSu99eaK60-rSBPoz+jIEAvsgxQA

type t = [
  | #T1
  | #T2
  | #T3
  | #T4
  | #T5
]

let toString = (x: t) => {
  switch x {
   | #T1 => "T1"
   | #T2 => "T2"
   | #T3 => "T3"
   | #T4 => "T4"
   | #T5 => "T5"
  }
}

// Generated by ReScript, PLEASE EDIT WITH CARE


function toString(x) {
  if (x === "T2") {
    return "T2";
  } else if (x === "T3") {
    return "T3";
  } else if (x === "T4") {
    return "T4";
  } else if (x === "T5") {
    return "T5";
  } else {
    return "T1";
  }
}

export {
  toString ,
}
/* No side effect */

[cristianoc]

Not planned.

[hackwaly]

related #7121