Hello!
Consider the following code:
public class A {
private String str;
public void f(Object obj) {
if (obj instanceof String str) {
System.out.println(str.toLowerCase()); // str refers to
pattern binding
} else {
System.out.println(str.toLowerCas
On 11/27/2019 12:59 AM, Gavin Bierman wrote:
I don't see any changes to
http://cr.openjdk.java.net/~gbierman/jep359/jep359-20191125/specs/records-jvms.html
?
Should be there now.
This updated JVMS draft looks good, thanks.
Alex
> On 26 Nov 2019, at 19:28, Alex Buckley wrote:
>
>
> On 11/26/2019 8:48 AM, Dan Smith wrote:
>> Here's my slightly-tweaked version of this note:
>>> It is a limitation of the `class` file that, while a method parameter or a
>>> module may be marked `ACC_MANDATED` ([4.7.24], [4.7.25]), there