krzysz00 wrote: @fabianmcg Now that I'm back from vacation, care to expand on the infer/`--convert-to-llvm` incompatibility? I'd think we could implement MLIR data layout stuff for the target attribute https://github.com/llvm/llvm-project/pull/110735