{motive : Lean.Compiler.LCNF.LitValue → Sort u} →
  (t : Lean.Compiler.LCNF.LitValue) →
    ((val : UInt32) → motive (Lean.Compiler.LCNF.LitValue.uint32 val)) →
      (Nat.hasNotBit 16 t.ctorIdx → motive t) → motive t