[Mlir-commits] [mlir] [mlir] Populate properties before parser-time inferReturnTypes (PR #194658)

[Markus Böck]

https://github.com/zero9178 commented:

Sorry for the delay.

Could these attributes alternatively be set by the `attr-dict` parser after verification? It seems nicer to always enforce the invariant "properties are up to date with what has been parsed" rather than requiring the type inference to enforce it itself adhoc.

Also CCing @krzysz00 for properties related work. The interplay of `attr-dict` and `prop-dict` and when the attribute dictionary are meant to be converted to properties is surprisingly complicated...
 

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