diff --git a/crates/fayalite/src/module/transform/deduce_resets.rs b/crates/fayalite/src/module/transform/deduce_resets.rs
index b2d2cb5..fe518a5 100644
--- a/crates/fayalite/src/module/transform/deduce_resets.rs
+++ b/crates/fayalite/src/module/transform/deduce_resets.rs
@@ -770,7 +770,10 @@ impl<'a, P: Pass> PassArgs<'a, P> {
         fallback_error_source_location: Option<SourceLocation>,
     ) -> Result<(), DeduceResetsError> {
         assert_eq!(a.layout, b.layout);
-        assert_eq!(a.ty, b.ty);
+        assert!(
+            a.ty.can_connect(b.ty),
+            "can't connect types! a:\n{a:?}\nb:\n{b:?}"
+        );
         for (a_node_index, b_node_index) in a.node_indexes.into_iter().zip(b.node_indexes) {
             self.state.reset_graph.union(
                 a_node_index,