================ @@ -92,20 +92,31 @@ module { // Sanity check on stored values. ---------------- aartbik wrote: add top level // https://github.com/llvm/llvm-project/pull/84249