[PATCH] libstdc++: check value in std::{con,dis}junction

[Alexandre Oliva]

On Apr 29, 2026, Jonathan Wakely <jwakely.gcc@gmail.com> wrote:

> Ah, it _does_ work, but the static_assert for ctTtf comes from the
> same instantiation as for cT and so is suppressed.

Yup.  For instantiations that fail with the same typename tail... in the
_impl instantiations, we get a single error message.

I considered that a QoI issue and so I moved the static_assert to the
non-_impl template and added a check that we get one error per
instantiation.

Resorting to T2 for the test regresses that IMHO desirable property, I'm
afraid.

-- 
Alexandre Oliva, happy hacker            https://blog.lx.oliva.nom.br/
Free Software Activist     FSFLA co-founder     GNU Toolchain Engineer
More tolerance and less prejudice are key for inclusion and diversity.
Excluding neuro-others for not behaving ""normal"" is *not* inclusive!