j2kun wrote: This looks great! Do you have any idea or plan on how one would be able to do context-aware type conversion when no `Value` is available? (Such as a function signature that is a pure declaration) https://github.com/llvm/llvm-project/pull/140434