See https://discourse.llvm.org/t/cant-cannot-can-not-in-diagnostic-messages/83171
[basic.link]/p10: > If two declarations of an entity are attached to different modules, > the program is ill-formed But we only implemented the check for ODR. In this patch, we tried to diagnose the redeclarations from different modules.