Skip to content

Commit de9b522

Browse files
committed
panic if valid entry already exists at index
1 parent 0834f30 commit de9b522

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

g16ckt/src/circuit/modes/execute_mode.rs

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -113,7 +113,13 @@ impl CircuitMode for ExecuteMode {
113113
}
114114

115115
self.storage
116-
.set(wire_id, |entry| *entry = Some(value))
116+
.set(wire_id, |entry| {
117+
assert!(
118+
entry.is_some(),
119+
"overwriting wire_id {wire_id} value in storage"
120+
);
121+
*entry = Some(value)
122+
})
117123
.unwrap();
118124
}
119125

0 commit comments

Comments
 (0)