rzk-0.9.0: test/typecheck/cases/ill-hole-infer.expect.yaml
status: error error_tag: TypeErrorCannotInferHole message_contains: - "cannot infer the type of a hole" regression_for: - holes-inference-position
status: error error_tag: TypeErrorCannotInferHole message_contains: - "cannot infer the type of a hole" regression_for: - holes-inference-position