https://github.com/jmorse approved this pull request. LGTM, for full coverage you might want to add test coverage for the verifier errors too. I can't remember whether we've already done that for other RemoveDI records. https://github.com/llvm/llvm-project/pull/83242