[Mlir-commits] [mlir] [mlir][Interfaces] Add `mustProgress` interface method + folding pattern (PR #179039)

[Jakub Kuderski]

================
@@ -24,4 +25,15 @@
 
 #include "mlir/Dialect/UB/IR/UBOpsDialect.h.inc"
 
+namespace mlir {
+namespace ub {
----------------
kuhar wrote:

nit/optional
```suggestion
namespace mlir::ub {
```

https://github.com/llvm/llvm-project/pull/179039