quires:</span></p></td>
<td>
<p><code class="computeroutput">Concept</code> must not refer to any non-deduced placeholder besides <code class="computeroutput">T</code>. </p>
<p>After substituting <code class="computeroutput">T</code> for <code class="computeroutput">Tag2</code>, the requirements of <code class="computeroutput">Concept2</code> must be a superset of the requirements of <code class="computeroutput">Concept</code>.</p>
</td>
</tr>
<tr>
<td><p><span class="term">Throws:</span></p></td>
<td>std::