https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104111
Patrick Palka <ppalka at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jason at gcc dot gnu.org
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> ---
> because concept-id evaluation shall not depend on the context.
One consequence of making this change to concept-id evaluation would be that
for:
template<class T> void f() requires (!C<T>);
during constraint checking for say f<int>(), we no longer evaluate C<int> (as
part of evaluation of the atomic constraint !C<T>) in the access context of f,
which seems surprising to me.
CC'ing Jason for guidance.
