From 41e725152edd7e2c7f4f187be5913d7041248848 Mon Sep 17 00:00:00 2001 From: rvcas Date: Wed, 8 Mar 2023 22:47:38 -0500 Subject: [PATCH] feat(unify): cannot cast between string and data closes #432 --- crates/aiken-lang/src/tipo/environment.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/crates/aiken-lang/src/tipo/environment.rs b/crates/aiken-lang/src/tipo/environment.rs index adebcf1a..feb25a5e 100644 --- a/crates/aiken-lang/src/tipo/environment.rs +++ b/crates/aiken-lang/src/tipo/environment.rs @@ -1289,6 +1289,7 @@ impl<'a> Environment<'a> { && !(t1.is_unbound() || t2.is_unbound()) && !(t1.is_function() || t2.is_function()) && !(t1.is_generic() || t2.is_generic()) + && !(t1.is_string() || t2.is_string()) { return Ok(()); }