roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-21 15:59:20 +03:00
Code Issues Packages Projects Releases Wiki Activity

inferred extension vars are material if they're not flex or empty

Browse Source
This commit is contained in:
Ayaz Hafiz 2022-10-26 17:13:27 -05:00
parent 71e759a456
commit a526fd92aa
No known key found for this signature in database
GPG Key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/compiler/types/src/subs.rs
View File

@ -2476,7 +2476,7 @@ impl AliasVariables {
subs.get_subs_slice(self.infer_ext_in_output_variables())
.iter()
.any(|v| {
matches!(
!matches!(
subs.get_content_unchecked(*v),
Content::FlexVar(None) | Content::Structure(FlatType::EmptyTagUnion)
)