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

#lang rzk-1

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