# HG changeset patch
# User Leonard Ritter <contact@leonard-ritter.com>
# Date 1585790965 -7200
#      Thu Apr 02 03:29:25 2020 +0200
# Node ID 70a858c1451fdb382fff4072747d296c72808115
# Parent  7b89feb102f24244670c23666e68860f7f5486eb
* `enum`: method `'apply` does not call function argument for default branch

diff --git a/lib/scopes/enum.sc b/lib/scopes/enum.sc
--- a/lib/scopes/enum.sc
+++ b/lib/scopes/enum.sc
@@ -69,6 +69,9 @@
                 sc_switch_append_case sw lit ('tag `(arg payloads...) anchor)
         sw
 
+inline illegal-case ()
+    assert false "invalid enum tag; structure possibly corrupted"
+
 @@ memo
 inline gen-apply-from-tag (f)
     fn "apply-from-tag" (tag handler self...)
@@ -89,7 +92,7 @@
             let extractT = ('@ field 'Type)
             let payloads... = (f extractT self...)
             sc_switch_append_case sw lit ('tag `(handler FT payloads...) anchor)
-        sc_switch_append_default sw `(handler)
+        sc_switch_append_default sw `(illegal-case)
         sw
 
 # tagged union / sum type