diff options
| author | tslil <tslil@posteo.de> | 2026-04-30 16:53:14 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-30 17:30:22 +0100 |
| commit | 0f7efe7518b925d9688dad4c6f6e87f84015e2c1 (patch) | |
| tree | f4cdfa08c7d3e7a69860570f3f7826119f3bcdef /src/checker_set.rs | |
| parent | d57f1d3c845220c741db73c1fada017a75b11992 (diff) | |
wip case for instances
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() { |