{motive : Lean.SourceInfo → Sort u} →
  (t : Lean.SourceInfo) →
    ((pos endPos : String.Pos.Raw) → (canonical : Bool) → motive (Lean.SourceInfo.synthetic pos endPos canonical)) →
      (Nat.hasNotBit 2 t.ctorIdx → motive t) → motive t