https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102012
--- Comment #3 from 康桓瑋 <hewillk at gmail dot com> --- (In reply to Patrick Palka from comment #1) > Hmm, I think this might actually be well-formed according to [temp.names]/9. > I don't see why we'd need to check satisfaction of a concept-id inside > decltype if its type is already prescribed to be bool. "The standard requires MSVC/Clang's behavior of erroring out." from https://stackoverflow.com/a/68910627/11638718.
