[allocator.requirements.general] Remove redundant template syntax #5872
Conversation
In the Cpp17Allocator requirements, all identifiers name specific types, even if they are template instantiations. Hence, all use of `typename`, `.template`, and `::template` is redundant. Not in the sense of we are awaiting LWG to review P2150 for policy, but in the sense these have been redundant since C++11, and were outright ill-formed prior to that. The majority of the wording throughout this subclause already (correctly) avoids use of these redundant keywords. This PR brings the title rows into agreement with the body text, and fixes one outstanding redundant use of `::template`.
|
I think those
|
| @@ -2133,7 +2133,7 @@ | |||
| \pnum | |||
| \ensures | |||
| For all \tcode{U} (including \tcode{T}), | |||
| \tcode{Y::template rebind<T>::other} is \tcode{X}. | |||
| \tcode{Y::rebind<T>::other} is \tcode{X}. | |||
There was a problem hiding this comment.
@jwakely Are there any other cases of ::template that could be removed from the draft?
There was a problem hiding this comment.
The Note 2 on [container.reqmts] p64 is unclear, but as a note I don't think it matters either way. I can't find any others.
There was a problem hiding this comment.
OK, thanks! @AlisdairM, could you retool this PR please to only contain this one change, and revert all the others?
wg21bot
added
the
needs rebase
In the Cpp17Allocator requirements, all identifiers name specific types, even if they are template instantiations. Hence, all use of
typename,.template, and::templateis redundant. Not in the sense of we are awaiting LWG to review P2150 for policy, but in the sense these have been redundant since C++11, and were outright ill-formed prior to that.The majority of the wording throughout this subclause already (correctly) avoids use of these redundant keywords. This PR brings the title rows into agreement with the body text, and fixes one outstanding redundant use of
::template.