martinboehme wrote: Heads up: I'm holding off on merging this patch because it makes some tests in the [Crubit nullability analysis](https://github.com/google/crubit/tree/main/nullability) fail. I'm still investigating exactly why this is. https://github.com/llvm/llvm-project/pull/75170