rzk-0.11.0: test/typecheck/cases/ill-data-negative.expect.yaml
status: error error_tag: TypeErrorOther message_contains: - "not strictly positive" line: 4 regression_for: - data-stage2-strict-positivity
status: error error_tag: TypeErrorOther message_contains: - "not strictly positive" line: 4 regression_for: - data-stage2-strict-positivity