language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-07-24 15:03:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Get rid of inaccurate debug assertion

Browse source
This commit is contained in:
Ayaz Hafiz 2023-02-22 18:09:00 -06:00
parent 99d31aa74c
commit f7455deb06
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 0 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

9
crates/compiler/unify/src/unify.rs
View file

@ -1820,15 +1820,6 @@ fn unify_unspecialized_lambdas<M: MetaCollector>(
let _dropped = uls_right.next().unwrap();
let kept = uls_left.next().unwrap();
merged_uls.push(*kept);
debug_assert!(uls_right
.peek()
.map(|r| !env.subs.equivalent_without_compacting(var_l, r.0))
.unwrap_or(true));
debug_assert!(uls_left
.peek()
.map(|l| !env.subs.equivalent_without_compacting(l.0, var_r))
.unwrap_or(true));
} else {
// Even if these two variables unify, since they are not equivalent,
// they correspond to different specializations! As such we must not