rzk-0.11.4: test/typecheck/cases/happy-modal-let-restricted.expect.yaml

status: ok
warnings: []
regression_for:
  - let-mod-eliminates-an-outer-restricted-modal-type
  - let-mod-into-infers-an-outer-restricted-modal-type