rzk-0.8.0: test/typecheck/cases/ill-param-untyped-pattern.rzk

#lang rzk-1

#define f x : U := U