https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78737
--- Comment #14 from Damian Rouson <damian at sourceryinstitute dot org> --- Hi Paul, Based on comment #12, I assume you no longer believe that type guarding is required. If I misinterpreted comment #12, please let me know. Otherwise, please let me know what in the standard indicates that type guarding is required. I too would be surprised.
