================ @@ -2838,6 +2838,27 @@ module { // ----- +module { ---------------- Dinistro wrote: Nit: Is the module required here? If not, can you drop it? https://github.com/llvm/llvm-project/pull/137115