You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
but if [reflect.concepts.enumerator] is correct, I would expect that [reflect.synopsis] is corrected to say
template <class T> concept Enumerator; // refines Typed and ScopeMember
exactly as Constant is pre-declared there:
template <class T> concept Constant; // refines Typed and ScopeMember
The text was updated successfully, but these errors were encountered:
camio
changed the title
concept Enumerator refinement regarding Constant
concept Enumerator refinement regarding Constant (Needs NB Comment)
Aug 12, 2018
This is not a review deviation of the accepted p0670r4 document but was observed during the review:
In [reflect.synopsis], the declaration is presented as:
but the defining sub-clause [reflect.concepts.enumerator] says:
If the synopsis comment was correct, I would expect that [reflect.concepts.enumerator] should be presented as
since [reflect.concepts.const] shows us
but if [reflect.concepts.enumerator] is correct, I would expect that [reflect.synopsis] is corrected to say
exactly as
Constant
is pre-declared there:The text was updated successfully, but these errors were encountered: