[Mlir-commits] [mlir] [MLIR][Python] Support bare Operand and Result annotations (PR #220216)

[Rolf Morel]

https://github.com/rolfmorel approved this pull request.

I'm with @makslevental on this: my inclination is that `Operand` is a type constructor that still takes a type before you have a concrete type (same as `List` vs `List[Bool]`). Having said that, Python is very loose w.r.t. this kind of thing (such as the `List` example that's been brought up above as well), though that might be more for legacy reasons.

@PragmaTwice, please take this as another "take it or leave it" response: I'm approving so you can land it if you feel it's right.

Side-note: I think even `Operand[typing.Any]` is not quite right: that is, the argument to `Operand` should be a (subclass of) `mlir.ir.Type`, right?

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