Diagnosing duplicate declaration errors