<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body>
<font size="4"><font face="monospace">Your interpretation is
correct: the conversions are defined elsewhere, and this
paragraph defines no new conversions, it just says "these are
the ones that are unconditionally exact" (certain primitive
widenings, boxing, etc.) <br>
<br>
<br>
</font></font><br>
<div class="moz-cite-prefix">On 10/17/2023 10:04 PM, Ella Ananeva
wrote:<br>
</div>
<blockquote type="cite" cite="mid:SN6PR10MB275263F80258EAE44341AD2AFBD5A@SN6PR10MB2752.namprd10.prod.outlook.com">
<meta name="Generator" content="Microsoft Word 15 (filtered
medium)">
<style>@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;}span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}div.WordSection1
{page:WordSection1;}ol
{margin-bottom:0in;}ul
{margin-bottom:0in;}</style>
<div class="WordSection1">
<p class="MsoNormal">Hi team,<o:p></o:p></p>
<p class="MsoNormal">Reading the spec for JEP 455, I was puzzled
with the following part:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><i><span style="mso-ligatures:none">The following conversions are
unconditionally exact:<o:p></o:p></span></i></p>
<ul type="disc">
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1">
<i><span style="mso-ligatures:none">…<o:p></o:p></span></i></li>
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1">
<i><span style="mso-ligatures:none">a widening primitive
conversion which is: <o:p>
</o:p></span></i></li>
<ul type="circle">
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level2 lfo1">
<i><span style="mso-ligatures:none">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";mso-ligatures:none">char</span></i><i><span style="mso-ligatures:none"><o:p></o:p></span></i></li>
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level2 lfo1">
<i><span style="mso-ligatures:none">….</span><o:p></o:p></i></li>
</ul>
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0
level1 lfo1">
<i>…<o:p></o:p></i></li>
</ul>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">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.”<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">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.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">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 style="mso-ligatures:none">a widening primitive conversion
which is</span>” is the wording that caused my confusion.<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">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?<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Thank
you,<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto">Ella
Ananeva<o:p></o:p></p>
<p class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto"><o:p></o:p></p>
</div>
</blockquote>
<br>
</body>
</html>