<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@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:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:1190492121;
mso-list-template-ids:269128802;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7 ;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal">Hi,<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">I found a discrepancy in the behavior of the JEP 482 compiler regarding definite assignment of a final non-static blank field in a prologue of a constructor:<o:p></o:p></p>
<table class="MsoTableGrid" border="1" cellspacing="0" cellpadding="0" style="border-collapse:collapse;border:none">
<tbody>
<tr>
<td width="208" valign="top" style="width:155.8pt;border:solid windowtext 1.0pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal">Case 1<o:p></o:p></p>
</td>
<td width="208" valign="top" style="width:155.85pt;border:solid windowtext 1.0pt;border-left:none;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal">Case 2<o:p></o:p></p>
</td>
<td width="208" valign="top" style="width:155.85pt;border:solid windowtext 1.0pt;border-left:none;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal">Case 3<o:p></o:p></p>
</td>
</tr>
<tr>
<td width="208" valign="top" style="width:155.8pt;border:solid windowtext 1.0pt;border-top:none;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="background:white"><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">class
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">Q
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">{<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">final int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">y</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
{ </span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">y
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">=
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">; }<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">public
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#00627A;mso-ligatures:none">Q</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">(</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">a</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">) {<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">=
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">a</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;background:yellow;mso-highlight:yellow;mso-ligatures:none">super</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;background:yellow;mso-highlight:yellow;mso-ligatures:none">();</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">
<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none"> }<br>
}<o:p></o:p></span></p>
</td>
<td width="208" valign="top" style="width:155.85pt;border-top:none;border-left:none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="background:white"><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">class
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">Q
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">{<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">final int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">y</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
{ </span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">y
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">=
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">; }<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">public
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#00627A;mso-ligatures:none">Q</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">(</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">a</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">) {<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">=
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">a</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;background:yellow;mso-highlight:yellow;mso-ligatures:none">this</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;background:yellow;mso-highlight:yellow;mso-ligatures:none">();</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none"><br>
}<o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">public
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#00627A;mso-ligatures:none">Q</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">() {}<br>
}<o:p></o:p></span></p>
</td>
<td width="208" valign="top" style="width:155.85pt;border-top:none;border-left:none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="background:white"><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">class
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">Q
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">{<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">final int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">y</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;<br>
{ </span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">y
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">=
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">; }<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">public
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#00627A;mso-ligatures:none">Q</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">(</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none">int
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">a</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">) {<br>
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#871094;mso-ligatures:none">x
</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">=
</span><span style="font-size:10.0pt;font-family:"Courier New";color:black;mso-ligatures:none">a</span><span style="font-size:10.0pt;font-family:"Courier New";color:#080808;mso-ligatures:none">;
<br>
}<br>
}<o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</td>
</tr>
<tr>
<td width="208" valign="top" style="width:155.8pt;border:solid windowtext 1.0pt;border-top:none;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal">Compilation succeeds<span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none"><o:p></o:p></span></p>
</td>
<td width="208" valign="top" style="width:155.85pt;border-top:none;border-left:none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="background:white"><span style="color:black">Compilation fails</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none"><o:p></o:p></span></p>
</td>
<td width="208" valign="top" style="width:155.85pt;border-top:none;border-left:none;border-bottom:solid windowtext 1.0pt;border-right:solid windowtext 1.0pt;padding:0in 5.4pt 0in 5.4pt">
<p class="MsoNormal" style="background:white"><span style="color:black">Compilation fails</span><span style="font-size:10.0pt;font-family:"Courier New";color:#0033B3;mso-ligatures:none"><o:p></o:p></span></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Shouldn’t the behavior in this 3 cases be similar?<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thank you,<o:p></o:p></p>
<p class="MsoNormal">Ella<o:p></o:p></p>
</div>
</body>
</html>