[RFC] Dialect Extensions and "Promised" Interfaces

[River707]

@matthias-springer

Does this work for op interfaces that are defined in other dialects? E.g., BufferizableOpInterface is in Dialect/Bufferization/IR/BufferizableOpInterface.td , so it seems like every dialect that would promise an interface implementation would need to depend on the Bufferization dialect.

Yes, and this applies to the Inliner interface example as well (which is technically defined in TransformUtils). The only thing that is important is the type name of the interface (for the declarePromisedInterface API), which can be grabbed (e.g. via forward declaration) in ways such that you don’t depend on the library where the interface is defined.

– River