On Wed, 2024-07-17 at 15:48 -0400, Patrick Palka wrote:

> 
> I guess you mean B<int&> here?
> 

Yes. Apologies for my mistake.

> Ah, that's because the substitution failure in the first example
> occurs
> during constraint _normalization_, and in second example it occurs
> during atomic constraint _satisfaction_.  Substitution failure during
> constraint normalization is indeed a hard error according to
> https://eel.is/c++draft/temp.constr.normal#1.4.sentence-2 as you
> cited.
> But substitution failure during satisfaction just causes the current
> atomic constraint to silently evaluate to false.

Wow, thanks for your explanation!

> A patch using TI_PARTIAL_INFO would be much appreciated :)

Sure. In the meantime, can we finalise the following patch that
complements the next patch?

https://gcc.gnu.org/pipermail/gcc-patches/2024-July/657702.html


Reply via email to