================ ---------------- matthias-springer wrote: The special handling for `IsolatedFromAbove` is an optimization, right? Can you leave that as a follow-up PR to simplify this PR a bit? https://github.com/llvm/llvm-project/pull/223777