{motive : Mathlib.Linter.TextBased.StyleError✝ → Sort u} →
  (t : Mathlib.Linter.TextBased.StyleError✝¹) →
    motive Mathlib.Linter.TextBased.StyleError.adaptationNote✝ →
      motive Mathlib.Linter.TextBased.StyleError.windowsLineEnding✝ →
        motive Mathlib.Linter.TextBased.StyleError.trailingWhitespace✝ →
          motive Mathlib.Linter.TextBased.StyleError.semicolon✝ →
            ((c : Char) → motive (Mathlib.Linter.TextBased.StyleError.unwantedUnicode✝ c)) → motive t