The first commit is non-controversial typo-fixes. The second larger commit gives the wording I'd prefer to see.
N.B. I don't claim my wording is perfect — I'm not sure what to do about the fact that we want ignore to appear in two different headers. (I looked at how tuple_size does it, but that wasn't terribly helpful.) I chose to just repeat ignore's wording verbatim, with a fictional [utility.ignore] heading... but both of those decisions seem suboptimal. I think it'll be easier for LWG to nudge this wording into shape than your previous/current wording, though.
PeterSommerlad
commented
1 year ago
The first commit is non-controversial typo-fixes. The second larger commit gives the wording I'd prefer to see. N.B. I don't claim my wording is perfect — I'm not sure what to do about the fact that we want
ignoreto appear in two different headers. (I looked at howtuple_sizedoes it, but that wasn't terribly helpful.) I chose to just repeatignore's wording verbatim, with a fictional [utility.ignore] heading... but both of those decisions seem suboptimal. I think it'll be easier for LWG to nudge this wording into shape than your previous/current wording, though.