language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-26 13:29:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Correct what destructures are exhaustive

Browse source
This commit is contained in:
Ayaz Hafiz 2023-04-10 15:43:02 -05:00
parent 4f48873178
commit f0b017b807
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/compiler/can/src/pattern.rs
View file

@ -140,7 +140,7 @@ impl Pattern {
RecordDestructure { destructs, .. } => {
// If all destructs are surely exhaustive, then this is surely exhaustive.
destructs.iter().all(|d| match &d.value.typ {
DestructType::Required | DestructType::Optional(_, _) => false,
DestructType::Required | DestructType::Optional(_, _) => true,
DestructType::Guard(_, pat) => pat.value.surely_exhaustive(),
})
}