rzk-0.11.4: test/typecheck/cases/ill-match-modal-motive.rzk

#lang rzk-1

#data D := c

#define bad-modal-motive
  (x :_b D)
  : Unit
  := match _b x into (\ (_ : D) -> Unit)
       (c => unit)