{motive : Lean.SourceInfo → Sort u} →
  (t : Lean.SourceInfo) →
    ((leading : Substring.Raw) →
        (pos : String.Pos.Raw) →
          (trailing : Substring.Raw) →
            (endPos : String.Pos.Raw) → motive (Lean.SourceInfo.original leading pos trailing endPos)) →
      (Nat.hasNotBit 1 t.ctorIdx → motive t) → motive t