rzk-0.8.0: test/typecheck/cases/ill-invalid-arg-type-bot.rzk

#lang rzk-1

#define bad (x : BOT) : U := U