rzk-0.11.3: test/typecheck/cases/happy-modal-extract-external-lock.expect.yaml

status: ok
regression_for:
  - modal-extract-external-lock-insignificant