rzk-0.11.4: test/typecheck/cases/happy-ext-style-restrictions.expect.yaml
status: ok warnings: [] regression_for: - free-standing-restriction-warning - synthesised-types-are-concluded
status: ok warnings: [] regression_for: - free-standing-restriction-warning - synthesised-types-are-concluded