rzk-0.8.0: test/typecheck/cases/ill-duplicate.rzk

#lang rzk-1

#define dup
  : U
  := U

#define dup
  : U
  := U