[Mlir-commits] [mlir] [MLIR][Python] Add a DSL for defining IRDL dialects in Python bindings (PR #169045)

[Maksim Levental]

makslevental wrote:

> pyright knows that my_op.my_result will have the type SSAValue[IntegerType]

@superbobry recently added generic values https://github.com/llvm/llvm-project/pull/166148 but we don't have any type checker style tests 🤷‍♂️

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