From a7f66c4676fe2a96e70c8679a59afd5f4fbeed03 Mon Sep 17 00:00:00 2001
From: Anton-4 <17049058+Anton-4@users.noreply.github.com>
Date: Fri, 9 Aug 2024 17:15:03 +0200
Subject: [PATCH 1/2] ci check debug flags

---
 .cargo/config.toml                        |  3 ++-
 .github/workflows/ubuntu_x86_64_debug.yml |  1 +
 ci/check_debug_vars.sh                    | 22 ++++++++++++++++++++++
 3 files changed, 25 insertions(+), 1 deletion(-)
 create mode 100755 ci/check_debug_vars.sh

diff --git a/.cargo/config.toml b/.cargo/config.toml
index 81e24566c43..f57d96eaf7d 100644
--- a/.cargo/config.toml
+++ b/.cargo/config.toml
@@ -30,7 +30,7 @@ rustflags = ["-Clink-args=/FORCE:UNRESOLVED"]
 # https://github.com/rust-lang/cargo/issues/3946#issuecomment-973132993
 ROC_WORKSPACE_DIR = { value = "", relative = true }
 
-# Debug flags. Keep this up-to-date with compiler/debug_flags/src/lib.rs.
+# Debug flags. Explanations for these are in compiler/debug_flags/src/lib.rs.
 # Set = "1" to turn a debug flag on.
 ROC_PRETTY_PRINT_ALIAS_CONTENTS        = "0"
 ROC_PRINT_UNIFICATIONS                 = "0"
@@ -49,6 +49,7 @@ ROC_PRINT_IR_AFTER_TRMC                = "0"
 ROC_PRINT_IR_AFTER_DROP_SPECIALIZATION = "0"
 ROC_DEBUG_ALIAS_ANALYSIS               = "0"
 ROC_PRINT_RUNTIME_ERROR_GEN            = "0"
+ROC_NO_UNBOUND_LAYOUT                  = "0"
 ROC_PRINT_LLVM_FN_VERIFICATION         = "0"
 ROC_WRITE_FINAL_WASM                   = "0"
 ROC_LOG_WASM_INTERP                    = "0"
diff --git a/.github/workflows/ubuntu_x86_64_debug.yml b/.github/workflows/ubuntu_x86_64_debug.yml
index 2ad30f07522..7524f2bfcb7 100644
--- a/.github/workflows/ubuntu_x86_64_debug.yml
+++ b/.github/workflows/ubuntu_x86_64_debug.yml
@@ -35,4 +35,5 @@ jobs:
         - name: cargo test without --release
           env:
             RUSTFLAGS: -C link-arg=-fuse-ld=lld
+            ROC_CHECK_MONO_IR: 1
           run: cargo test -- --skip tests/exhaustive/match_on_result_with_uninhabited_error_destructuring_in_lambda_syntax.txt --skip tests::identity_lambda --skip tests::issue_2300 --skip tests::issue_2582_specialize_result_value --skip tests::sum_lambda
diff --git a/ci/check_debug_vars.sh b/ci/check_debug_vars.sh
new file mode 100755
index 00000000000..0d54a3d7ce4
--- /dev/null
+++ b/ci/check_debug_vars.sh
@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+# https://vaneyckt.io/posts/safer_bash_scripts_with_set_euxo_pipefail/
+set -euo pipefail
+
+# Extract vars from .cargo/config.toml
+config_vars=$(grep -E "^ROC_.*= \"[01]\"" .cargo/config.toml | cut -d'=' -f1 | tr -d ' ')
+
+# Extract vars from crates/compiler/debug_flags/src/lib.rs
+lib_vars=$(grep -E "^    ROC_.*" crates/compiler/debug_flags/src/lib.rs | tr -d ' ')
+
+# Sort both lists
+sorted_config_vars=$(echo "$config_vars" | sort)
+sorted_lib_vars=$(echo "$lib_vars" | sort)
+
+# Compare the sorted lists
+if diff <(echo "$sorted_config_vars") <(echo "$sorted_lib_vars") > /dev/null; then
+    echo "The flags in both files are identical."
+else
+    echo "Looks like some flags are out of sync between .cargo/config.toml and crates/compiler/debug_flags/src/lib.rs:"
+    diff <(echo "$sorted_config_vars") <(echo "$sorted_lib_vars")
+fi
\ No newline at end of file

From 6fde123ea6170420974519e9d2ebccd6c30f044e Mon Sep 17 00:00:00 2001
From: Anton-4 <17049058+Anton-4@users.noreply.github.com>
Date: Fri, 9 Aug 2024 17:18:01 +0200
Subject: [PATCH 2/2] actually run check

---
 .github/workflows/ubuntu_x86_64_debug.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ubuntu_x86_64_debug.yml b/.github/workflows/ubuntu_x86_64_debug.yml
index 7524f2bfcb7..0be11ffad91 100644
--- a/.github/workflows/ubuntu_x86_64_debug.yml
+++ b/.github/workflows/ubuntu_x86_64_debug.yml
@@ -31,6 +31,9 @@ jobs:
             sudo ln -s /usr/bin/lld-16 /usr/bin/ld.lld
             sudo apt -y install libpolly-16-dev
 
+        - name: Check if debug flag files are in sync
+          run: ./ci/check_debug_vars.sh
+
         # for skipped tests; see #6946, #6947
         - name: cargo test without --release
           env: