(motive : Lean.SourceInfo → Sort u_1) →
  (x : Lean.SourceInfo) →
    ((leading : Substring.Raw) →
        (pos : String.Pos.Raw) →
          (trailing : Substring.Raw) →
            (endPos : String.Pos.Raw) → motive (Lean.SourceInfo.original leading pos trailing endPos)) →
      ((x : Lean.SourceInfo) → motive x) → motive x