https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85535
--- Comment #7 from Paolo Carlini <paolo.carlini at oracle dot com> --- I see. Then I guess we need an explicit rationale for doing that, beyond the evidence that we aren't ICEing: the check first blush looks sensible. At least that was the case back in 2014, when Jason quickly approved it ;)
