rzk-0.11.0: test/typecheck/cases/ill-match-missing-branch.rzk
#lang rzk-1 #data nat := zero | suc (n : nat) #define bad (n : nat) : nat := match n (zero ⇒ n)
#lang rzk-1 #data nat := zero | suc (n : nat) #define bad (n : nat) : nat := match n (zero ⇒ n)