banach-space wrote: @dcaballe , @Groverkss , this is the patch that we discussed in the ODM last week. Would you be able to take a look some time soon? It would be great to make some progress on this. https://github.com/llvm/llvm-project/pull/121458