[Mlir-commits] [mlir] [mlir] Refactor opaque properties to make them type-safe (PR #185157)

[Krzysztof Drewniak]

krzysz00 wrote:

(side note re dyn_cast, if you look at the implementation notes, the reason we can't do that is that we can't monkey-patch in a classof() to, say, int64_t.  https://llvm.org/docs/HowToSetUpLLVMStyleRTTI.html Unless we're go with `ProoertyRef<T>` and rename the generic one something else so we can dyn_cast ... which isn't the worst idea.)

 The circumstances include things like OperationState, which needs a null properties until you `getOrAddProperties<T>()` at which point space gets allocated and the type gets locked in.

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