entifier">R</span><span class="special">(</span><span class="identifier">Y</span><span class="special">)</span></code>,
              then <code class="computeroutput"><span class="identifier">Y</span><span class="special">-&gt;</span><span class="identifier">X</span></code> is not subranged. Thus, all values
              of type <code class="computeroutput"><span class="identifier">Y</span></code> are representable
              in the type <code class="computeroutput"><span class="identifier">X</span></c