joker-eph wrote: Could we test? If needed adding an op in the test dialect which implements the callable interface, and an IR that has the call but not the definition for the callee? https://github.com/llvm/llvm-project/pull/115165