[sequence.reqmts] Remove unnecessary qualification of which new element#7479

tkoeppe merged 1 commit intocplusplus:maincplusplus/draft:mainfrom

jwakely:seq-reqs-insertjwakely/draft:seq-reqs-insertCopy head branch name to clipboard