https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102012
Patrick Palka <ppalka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |ppalka at gcc dot gnu.org --- Comment #1 from Patrick Palka <ppalka at gcc dot gnu.org> --- 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.