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

[Oleksandr Alex Zinenko]

================
@@ -104,6 +104,46 @@ transform::AnyParamType::checkPayload(Location loc,
   return DiagnosedSilenceableFailure::success();
 }
 
+//===----------------------------------------------------------------------===//
+// transform::NormalizedOpType
+//===----------------------------------------------------------------------===//
+
+DiagnosedSilenceableFailure
+transform::NormalizedOpType::checkPayload(Location loc,
----------------
ftynse wrote:

I won't to avoid confusion with `FooBarOp` that is an op, this is a type similarly to `AnyOpType`

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