Exhaustiveness probe for a switch (msg.kind). Place at the
default arm; the parameter type never is satisfied only when
every variant has a matching case. Adding a tag to the union
without a case arm is a compile error at this call site.
The runtime throw is belt-and-suspenders only — it cannot be
reached when the type-check passes.
Exhaustiveness probe for a
switch (msg.kind). Place at thedefaultarm; the parameter typeneveris satisfied only when every variant has a matchingcase. Adding a tag to the union without acasearm is a compile error at this call site.The runtime throw is belt-and-suspenders only — it cannot be reached when the type-check passes.