From a11cb2f144106314dc6e6083095032a03e61b544 Mon Sep 17 00:00:00 2001 From: Brummel Date: Sun, 10 May 2026 22:50:00 +0200 Subject: [PATCH] iter 23.2.4-fixup: symmetrize check_workspace error assertion across three IR-shape tests --- crates/ailang-codegen/src/lib.rs | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/crates/ailang-codegen/src/lib.rs b/crates/ailang-codegen/src/lib.rs index af62232..8c07f99 100644 --- a/crates/ailang-codegen/src/lib.rs +++ b/crates/ailang-codegen/src/lib.rs @@ -3607,7 +3607,11 @@ mod tests { .parent().unwrap().parent().unwrap() .join("examples").join("eq_primitives_smoke.ail.json"); let ws = load_workspace(&entry).expect("load workspace"); - let _ = check_workspace(&ws); + let diags = check_workspace(&ws); + assert!( + diags.iter().all(|d| !matches!(d.severity, ailang_check::Severity::Error)), + "unexpected check_workspace errors: {diags:?}" + ); let ws = monomorphise_workspace(&ws).expect("monomorphise"); let ir = lower_workspace(&ws).expect("lower"); assert!( @@ -3633,7 +3637,11 @@ mod tests { .parent().unwrap().parent().unwrap() .join("examples").join("eq_primitives_smoke.ail.json"); let ws = load_workspace(&entry).expect("load workspace"); - let _ = check_workspace(&ws); + let diags = check_workspace(&ws); + assert!( + diags.iter().all(|d| !matches!(d.severity, ailang_check::Severity::Error)), + "unexpected check_workspace errors: {diags:?}" + ); let ws = monomorphise_workspace(&ws).expect("monomorphise"); let ir = lower_workspace(&ws).expect("lower"); assert!(