From 68f1dcc65defc3f73dde12a96a4df09dc3a10f34 Mon Sep 17 00:00:00 2001 From: microproofs Date: Mon, 6 May 2024 11:48:10 -0400 Subject: [PATCH] Add comment as a reminder to future me --- crates/aiken-project/src/test_framework.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/aiken-project/src/test_framework.rs b/crates/aiken-project/src/test_framework.rs index 14e91e4f..fe327ef8 100644 --- a/crates/aiken-project/src/test_framework.rs +++ b/crates/aiken-project/src/test_framework.rs @@ -70,6 +70,7 @@ impl Test { .map(|cst| (cst, side.tipo())) }; + // Assertion at this point is evaluated so it's not just a normal assertion Some(Assertion { bin_op, head: as_constant(generator, head.expect("cannot be Err at this point")),