[mlir][IR] `DominanceInfo`: Fix inconsistency in proper block/op dominance#115413

matthias-springer merged 1 commit intomainllvm/llvm-project:mainfrom

users/matthias-springer/properly_dominatellvm/llvm-project:users/matthias-springer/properly_dominateCopy head branch name to clipboard