From ddad05bf5159dcd5a7113f36986a5741c489c3df Mon Sep 17 00:00:00 2001 From: rvcas Date: Sat, 4 Feb 2023 15:33:18 -0500 Subject: [PATCH] chore: leave a comment for later --- 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 8b991f86..9fb16b41 100644 --- a/crates/aiken-lang/src/tipo/environment.rs +++ b/crates/aiken-lang/src/tipo/environment.rs @@ -1216,6 +1216,7 @@ impl<'a> Environment<'a> { return Ok(()); } + // TODO: maybe we also care to check is_link? if allow_cast && (t1.is_data() || t2.is_data()) && !(t1.is_unbound() || t2.is_unbound())