[Mlir-commits] [mlir] [mlir] transform dialect; add pre/post-condition type (PR #191813)

[Renato Golin]

================
@@ -104,6 +104,46 @@ transform::AnyParamType::checkPayload(Location loc,
   return DiagnosedSilenceableFailure::success();
 }
 
+//===----------------------------------------------------------------------===//
+// transform::NormalizedOpType
+//===----------------------------------------------------------------------===//
+
+DiagnosedSilenceableFailure
+transform::NormalizedOpType::checkPayload(Location loc,
+                                          ArrayRef<Operation *> payload) const {
+  // Return any definite failure or the first silenceable failure.
+  DiagnosedSilenceableFailure overallResult =
----------------
rengolin wrote:

nit: auto?

many other places, too.

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