https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111808
--- Comment #5 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- We could add a "note: initializer represented with excess precision" or similar for the case where the required error might be surprising because the semantic types are the same.