tbaederr wrote: This was still `assert(false)`'ed out, it's for casts between two `IntAP`/`IntAPS` expressions. We can't just short-circuit for `FromT == ToT` because we need to consider the bitwidth when doing the cast. https://github.com/llvm/llvm-project/pull/69915