https://github.com/matthias-springer approved this pull request. I don't see any problem with allowing `OpaqueAttr`. Feel free to send another MR which removes the check entirely. https://github.com/llvm/llvm-project/pull/200151