Type Constraints and ApplyEach Trait A transform operation that applies to each payload operation individually and requires it to be of a specific kind is a repeated pattern. One can use Transform dialect types to specify the preconditions of the type. Specifically, we can change the expected operand type from the wide TransformHandleTypeInterface to the more narrow Transform_ConcreteOp<"func.call">. Furthermore, we use the TransformEachOpTrait trait to provide the skeleton implementation of ...