language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add comment on when heuristic can be removed

Browse source
This commit is contained in:
Ayaz Hafiz 2022-10-31 09:48:25 -05:00
parent 04e8e26faf
commit 5e891a3501
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
crates/compiler/solve/src/solve.rs
View file

@ -1729,6 +1729,9 @@ fn solve(
// `C` was matched as well. Since the positive/negative value determination is
// only an estimate, we also only apply this heursitic in the "almost equal"
// case, when there was in fact a unification error.
//
// TODO: this can likely be removed after remodelling tag extension types
// (#4440).
if cond_source_is_likely_positive_value && has_unification_error {
close_pattern_matched_tag_unions(subs, real_var);
}