[Mlir-commits] [mlir] [mlir][ods] Enable basic string interpolation in constraint summary. (PR #153603)

[Mehdi Amini]

================
@@ -243,6 +251,16 @@ std::string stringify(T &&t) {
       apply(std::forward<T>(t));
 }
 
+/// Helper to generate a C++ streaming error message from a given message.
+/// Message can contain '{{...}}' placeholders that are substituted with
+/// C-expressions via tgfmt. It would effectively convert:
+///   "failed to verify {{foo}}"
+/// into:
+///   "failed to verify " << tgfmt(foo, &ctx)
----------------
joker-eph wrote:

Can you document the effect of the `errorStreamType` here? (with an example)

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