ill-match-duplicate-branch.rzk

#lang rzk-1

#data nat := zero | suc (n : nat)

#define bad (n : nat) : nat
  := match n (zero ⇒ n | zero ⇒ n | suc k ih ⇒ n)