cachemeifyoucan wrote: I am not really familiar with devirtualization part of the summary but is the real bug that there should not be two `^4` in the same module? Maybe we should correctly error out instead of assertion in this case. https://github.com/llvm/llvm-project/pull/73239