[Mlir-commits] [mlir] [mlir:doc] Clarify requirements on `RewritePatterns`. (PR #218351)

[Ingo Müller]

================
@@ -73,15 +73,23 @@ public:
 
 #### Restrictions
 
+*   Patterns must transform verifiable IR into verifiable IR, i.e., the IR must
----------------
ingomueller-net wrote:

Would it make sense to document this as best practice, then? How about the folders?

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