rzk-0.11.0: test/typecheck/cases/ill-repeated-binder-params.rzk

#lang rzk-1

#define bad (A : U) (A : U) : U := A