rzk-0.9.0: test/typecheck/cases/ill-modal-plain-under-flat.rzk

#lang rzk-1

-- Plain var not accessible under flat
#def ill-plain-under-flat
  (A : U) (x : A)
  : _b A
  := mod _b x