rzk-0.9.0: test/typecheck/cases/happy-modal-tope-unwrap.expect.yaml

status: ok
regression_for:
  - modal-tope-unwrap
  - flat-implies-plain
  - plain-implies-sharp