[Bug c++/124264] [contracts] __tu_has_violation internal linkage causes undefined reference with modules on MinGW/PE-COFF

[iains at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124264

--- Comment #2 from Iain Sandoe <iains at gcc dot gnu.org> ---
(In reply to Nathaniel Shead from comment #1)


> Adding Iain to check if there's particular ABI requirements for this symbol,
> and how this should behave with modules.

I think that the provisions made for cxx2a contracts are puzzling.  I think I
need to discuss by email separately from this BZ .. and then see whether that
resolves issues.