∀ {isIncomplete : Bool} {items : Array Lean.Lsp.CompletionItem} {isIncomplete_1 : Bool}
  {items_1 : Array Lean.Lsp.CompletionItem},
  { isIncomplete := isIncomplete, items := items } = { isIncomplete := isIncomplete_1, items := items_1 } →
    isIncomplete = isIncomplete_1 ∧ items = items_1