rzk-0.8.0: test/typecheck/cases/happy-refl-path.expect.yaml

status: ok
regression_for:
  - commit-ac9b6d89-refl-symmetric