rzk-0.11.0: test/typecheck/cases/ill-match-not-data.rzk

#lang rzk-1

#define bad (A : U) (x : A) : A
  := match x (whatever ⇒ x)