span>]</span></span>, <span name="Y">Y<span class="tparams">[<span name="_">_</span>]</span> &gt;: <span name="provingground.translation.OptRestriction.subtypRestriction.X" class="extype">X</span>[_]</span>]</span><span class="result">: <a href="OptRestriction.html" name="provingground.translation.OptRestriction" id="provingground.translation.OptRestriction" class="extype">OptRestriction</a>[<span name="provingground.translation.OptRestriction.subtypRestriction.X" class="extype">X</span>, <span name="provin