").getType().cast<ShapedType>().getShape()[" # i # "] == "
          "$_op.getOperand(" # y #
          ").getType().cast<ShapedType>().getShape()[" # j # "]">]>;

class TFL_OperandsHaveSameDimsTrait<int x, int y, int i, int j> :
  PredOpTrait<"dim " # i # " of operand " # x # " equals to dim " # j #
    " of operand " # y,
    TFL_OperandsHaveSameDims<x, y, i, j>>;