∀ {info : Lean.Lsp.RpcRef} {subexprPos : String} {diffStatus? : Option String} {info_1 : Lean.Lsp.RpcRef}
  {subexprPos_1 : String} {diffStatus?_1 : Option String},
  { info := info, subexprPos := subexprPos, diffStatus? := diffStatus? } =
      { info := info_1, subexprPos := subexprPos_1, diffStatus? := diffStatus?_1 } →
    info = info_1 ∧ subexprPos = subexprPos_1 ∧ diffStatus? = diffStatus?_1