From 2b554d105a0c25a7f8f7210f42d04cf06c8bd01d Mon Sep 17 00:00:00 2001
From: rvcas <x@rvcas.dev>
Date: Fri, 3 Feb 2023 21:03:04 -0500
Subject: [PATCH] fix: when Data cast bypass

---
 crates/aiken-lang/src/tipo/environment.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/crates/aiken-lang/src/tipo/environment.rs b/crates/aiken-lang/src/tipo/environment.rs
index 933ca98c..0efcfc5f 100644
--- a/crates/aiken-lang/src/tipo/environment.rs
+++ b/crates/aiken-lang/src/tipo/environment.rs
@@ -1210,7 +1210,7 @@ impl<'a> Environment<'a> {
             return Ok(());
         }
 
-        if t1.is_data() || t2.is_data() {
+        if (t1.is_data() || t2.is_data()) && !(t1.is_unbound() || t2.is_unbound()) {
             return Ok(());
         }