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

[llvmlistbot at llvm.org]

PragmaTwice wrote:

> 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?

Yah I think you are right if we consider it as a strict/formal type system. Though users may get a bit confused when they see `Operand[Type]`.

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