From ec3a61513ba0b3a4b8db7026bac7bc6beb0a1eaa Mon Sep 17 00:00:00 2001
From: Jacob Lifshay <programmerjake@gmail.com>
Date: Thu, 27 Mar 2025 23:03:44 -0700
Subject: [PATCH] simulator read/write types must be passive

---
 crates/fayalite/src/sim.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/crates/fayalite/src/sim.rs b/crates/fayalite/src/sim.rs
index 275b106..b508756 100644
--- a/crates/fayalite/src/sim.rs
+++ b/crates/fayalite/src/sim.rs
@@ -6698,6 +6698,11 @@ impl SimulationModuleState {
         mut target: Target,
         which_module: WhichModule,
     ) -> CompiledValue<CanonicalType> {
+        assert!(
+            target.canonical_ty().is_passive(),
+            "simulator read/write expression must have a passive type \
+            (recursively contains no fields with `#[hdl(flip)]`)"
+        );
         if let Some(&retval) = self.io_targets.get(&target) {
             return retval;
         }