diff options
Diffstat (limited to 'src/checker_set.rs')
| -rw-r--r-- | src/checker_set.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/checker_set.rs b/src/checker_set.rs index e12cfb2..87da8bd 100644 --- a/src/checker_set.rs +++ b/src/checker_set.rs @@ -259,7 +259,6 @@ impl CheckerState { field: field.clone(), }) } - Element::Case { arms, scrutinee } => { // TODO: do we allow mapping out of bottom? if arms.is_empty() { |