∀ {error : Mathlib.Linter.TextBased.StyleError✝} {lineNumber : ℕ} {path : System.FilePath}
  {error_1 : Mathlib.Linter.TextBased.StyleError✝¹} {lineNumber_1 : ℕ} {path_1 : System.FilePath},
  { error := error, lineNumber := lineNumber, path := path } =
      { error := error_1, lineNumber := lineNumber_1, path := path_1 } →
    error = error_1 ∧ lineNumber = lineNumber_1 ∧ path = path_1