[Mlir-commits] [mlir] [mlir][tosa] Fix regression in mlir StableHLO tests due to PR #203583 (PR #207995)

[Kevin Gleason]

GleasonK wrote:

I could see this as a bug in two places, but I'm not sure which is right since I'm unclear if it should be supported that a Type verifier can have a dependency on an Operation. There are plenty of places a type can exist without an op (I'm curious if using one of these as a `TypedAttr` would cause a crash).

(1) Bug that Type verifiers support passing `$_op` since it permits this dependency.
(2) Support Types with Op dependencies in PDLL.

Our failure was that PDLL lowerings cannot use type verifiers with op dependencies, lead to a "could not resolve $_op" error message.

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