rzk-0.9.0: test/typecheck/cases/ill-modal-sharp-at-plain.rzk

#lang rzk-1

-- Sharp var not accessible at plain level
#def ill-sharp-at-plain
  (A :_# U) (x :_# A)
  : A
  := x