TPZ5008: Redeclaration

Compiler phase: check/runtime.

Compiler explanation: A scope declares the same value name more than once.

Message templates. The marker ⟨value⟩ stands for text computed for the reported program.

• duplicate concurrent arm ⟨value⟩ Source
• field ⟨value⟩ is given twice in ⟨value⟩ Source
• record field ⟨value⟩ is declared twice in ⟨value⟩ Source
• method ⟨value⟩ is already declared in protocol ⟨value⟩ Source
• ⟨value⟩ is a builtin protocol and cannot be redeclared Source
• protocol ⟨value⟩ is already declared Source
• nominal record pattern field ⟨value⟩ is specified more than once Source
• ⟨value⟩ is already declared in this scope Source
• method ⟨value⟩ is implemented twice in impl ⟨value⟩<⟨value⟩> Source
• method ⟨value⟩ is already defined for ⟨value⟩ Source
• ⟨value⟩ is already declared in this scope Source
• ⟨value⟩ is already declared in this scope Source

Observed for the candidate in Topaz 5.21.3. Execution

• error[TPZ5008]: method show is implemented twice in impl Show<Item>

A protocol implementation must not define the same method twice. A duplicate method is rejected with TPZ5008 at the later method name.

Rename or remove the later duplicate. Use a nested scope when a separate local binding is intended.