<div dir="auto">Sounds like “which” should be “that” instead.</div><div dir="auto"><br></div><div dir="auto">“Which” is used to incidentally add descriptive information without affecting the logic of a statement.</div><div dir="auto"><br></div><div dir="auto">“That” is used to narrow the identity of something (and therefore exclude other possibilities), which (no pun intended) obviously does affect the logic.</div><div dir="auto"><br></div><div dir="auto">“I have a car which is blue”</div><div dir="auto"><br></div><div dir="auto">“I have the car that is blue”</div><div dir="auto"><br></div><div dir="auto">-Archie</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Tue, Oct 17, 2023 at 9:05 PM Ella Ananeva <<a href="mailto:ella.ananeva@oracle.com">ella.ananeva@oracle.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">





<div lang="EN-US" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="m_2977848425308120462WordSection1">
<p class="MsoNormal">Hi team,<u></u><u></u></p>
<p class="MsoNormal">Reading the spec for JEP 455, I was puzzled with the following part:<u></u><u></u></p>
<p class="MsoNormal"><u></u> <u></u></p>
<p class="MsoNormal"><i><span>The following conversions are unconditionally exact:<u></u><u></u></span></i></p>
<ul type="disc">
<li class="MsoNormal">
<i><span>…<u></u><u></u></span></i></li><li class="MsoNormal">
<i><span>a widening primitive conversion which is: <u></u>
<u></u></span></i></li><ul type="circle">
<li class="MsoNormal">
<i><span>from any integral type to any integral type and neither of them is
</span></i><i><span style="font-size:10.0pt;font-family:"Courier New"">char</span></i><i><span><u></u><u></u></span></i></li><li class="MsoNormal">
<i><span>….</span><u></u><u></u></i></li></ul>
<li class="MsoNormal">
<i>…<u></u><u></u></i></li></ul>
<p class="MsoNormal">At first (at the first 5 times, I confess) I read it as “an unconditionally exact conversion is, among others, a widening primitive conversion, e.g. a conversion from any integral
 type to any integral type, but not char.”<u></u><u></u></p>
<p class="MsoNormal">I understand now that what was likely meant is that an unconditionally exact conversion includes, among others, a widening primitive conversion of integral types (but not char),
 and that the reader has to refer to the definition of widening primitive conversion to understand the conversion of which type will be unconditionally exact and which ones are not.<u></u><u></u></p>
<p class="MsoNormal">The difference here is that at first I thought the author re-defined a widening primitive conversion as a conversion from
<i>any integral type to any integral type</i>. “<span>a widening primitive conversion which is</span>” is the wording that caused my confusion.<u></u><u></u></p>
<p class="MsoNormal">I’d like to confirm that my understanding is correct. Also, may it be a source of potential confusion for future readers of the spec?<u></u><u></u></p>
<p class="MsoNormal">Thank you,<u></u><u></u></p>
<p class="MsoNormal">Ella Ananeva<u></u><u></u></p>
<p class="MsoNormal"><u></u><u></u></p>
</div>
</div>

</blockquote></div></div>