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

#lang rzk-1

-- Sharp var not accessible under flat
#def ill-sharp-under-flat
  (A :_# U) (x :_# A)
  : _b A
  := mod _b x