https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67070
--- Comment #4 from W E Brown <webrown.cpp at gmail dot com> ---
(In reply to Andrew Sutton from comment #2)
<snip>
> If we had a rule that allowed the evaluation of a concept in any
> context, then we could avoid doing this. It would also guarantee the
> ability to write;
>
> static_assert(C<T>);
>
> This is probably a good issue to raise against the TS, and we should
> discuss it in Kona.
For the record, I'd proposed exactly this in section 4 ("Concept evaluation
anywhere") of my WG21 paper N4434; it was briefly discussed in Lenexa, but
ultimately deemed premature. I'd be pleased to see the issue reconsidered.
-- WEB
