https://github.com/erichkeane commented: Discussed elsewhere, but in a touch of "lets leave it better than we found it", can we make an `assert(HasFinalConversion)` everywhere else we access `FinalConversion`? https://github.com/llvm/llvm-project/pull/136018