rzk-0.11.4: test/typecheck/cases/happy-tope-assume.expect.yaml

status: ok
regression_for:
  - bare-tope-assumption