[Mlir-commits] [mlir] add IntegerLikeTypeInterface to enable out-of-tree uses of built-in attributes that otherwise force integer types (PR #137061)

[Mehdi Amini]

joker-eph wrote:

> the location and name of the interface implied that, as did some parts of the original PR description.

Right, this is kind of what I was aiming at.

> Would it be acceptable if we scoped the feature to "builtin attributes can use non-builtin types, when those types implement the appropriate interface?"

This seems consistent with what we did for the Vector type recently: https://github.com/llvm/llvm-project/pull/133455

You mention "builtin attributes", are you looking at more than `DenseElementsAttr` right now?
Note also the existence of the `ElementsAttrInterface`, which went in a different direction but with similar end goal somehow. Instead of making `DenseElementsAttr` extensible with custom types, we instead allowed folks to use their own replacement for `DenseElementsAttr`.

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