∀ (stx : Lean.Syntax) (id : Option Lean.Name) (lctx : Lean.LocalContext) (structName : Lean.Name) (stx_1 : Lean.Syntax)
  (id_1 : Option Lean.Name) (lctx_1 : Lean.LocalContext) (structName_1 : Lean.Name),
  (Lean.Elab.CompletionInfo.fieldId stx id lctx structName =
      Lean.Elab.CompletionInfo.fieldId stx_1 id_1 lctx_1 structName_1) =
    (stx = stx_1 ∧ id = id_1 ∧ lctx = lctx_1 ∧ structName = structName_1)