lenary added a comment. I think we have tests for `implies` now? I'm not sure what the equivalent API is. Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138905/new/ https://reviews.llvm.org/D138905