∀ {ctorInfo : Lean.Compiler.LCNF.CtorInfo} {fieldInfo : Array Lean.Compiler.LCNF.CtorFieldInfo}
  {ctorInfo_1 : Lean.Compiler.LCNF.CtorInfo} {fieldInfo_1 : Array Lean.Compiler.LCNF.CtorFieldInfo},
  { ctorInfo := ctorInfo, fieldInfo := fieldInfo } = { ctorInfo := ctorInfo_1, fieldInfo := fieldInfo_1 } →
    ctorInfo = ctorInfo_1 ∧ fieldInfo = fieldInfo_1