{motive : Mathlib.Linter.TextBased.ErrorFormat → Sort u} →
  (t : Mathlib.Linter.TextBased.ErrorFormat) →
    motive Mathlib.Linter.TextBased.ErrorFormat.humanReadable →
      motive Mathlib.Linter.TextBased.ErrorFormat.exceptionsFile →
        motive Mathlib.Linter.TextBased.ErrorFormat.github → motive t