[Mlir-commits] [mlir] [mlir][irdl] Add IsolatedFromAbove trait to irdl.operation op (PR #181108)

[Fehr Mathieu]

https://github.com/math-fehr approved this pull request.

Yes, that makes sense to me!
Especially since IRDL constraints expect either an operation, attribute, or type as a parent, that means that in any case you couldn't use anything from outside an operation at the moment!

I guess we should do the same thing for `irdl.attribute` and `irdl.type` though?

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