∀ {pos : Lean.Lsp.Position} {goals : Array Lean.Widget.InteractiveGoal}
  {selectedLocations : Array Lean.SubExpr.GoalsLocation} {replaceRange : Lean.Lsp.Range} {pos_1 : Lean.Lsp.Position}
  {goals_1 : Array Lean.Widget.InteractiveGoal} {selectedLocations_1 : Array Lean.SubExpr.GoalsLocation}
  {replaceRange_1 : Lean.Lsp.Range},
  { pos := pos, goals := goals, selectedLocations := selectedLocations, replaceRange := replaceRange } =
      { pos := pos_1, goals := goals_1, selectedLocations := selectedLocations_1, replaceRange := replaceRange_1 } →
    pos = pos_1 ∧ goals = goals_1 ∧ selectedLocations = selectedLocations_1 ∧ replaceRange = replaceRange_1