# identifier-type-collision

The compiler must reject this program: Type first is already defined. The diagnostic must identify line 2; compilation must preserve existing output.