waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

chore: leave a comment for later

This commit is contained in:
rvcas 2023-02-04 15:33:18 -05:00
parent 4c8221e439
commit ddad05bf51
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
crates/aiken-lang/src/tipo/environment.rs
View File

@ -1216,6 +1216,7 @@ impl<'a> Environment<'a> {
return Ok(()); return Ok(());
} }
// TODO: maybe we also care to check is_link?
if allow_cast if allow_cast
&& (t1.is_data() || t2.is_data()) && (t1.is_data() || t2.is_data())
&& !(t1.is_unbound() || t2.is_unbound()) && !(t1.is_unbound() || t2.is_unbound())