rzk-0.9.0: test/typecheck/cases/happy-tope-rec-and-restrict.expect.yaml

status: ok
regression_for:
  - contextEntailsUnion-recOR-disjunctive-shape
  - contextEntails-recBOT-under-contradiction
  - contextEntailedBy-TypeRestricted-TOP