> From: "Brian Goetz" <brian.go...@oracle.com> > To: "Remi Forax" <fo...@univ-mlv.fr> > Cc: "amber-spec-experts" <amber-spec-experts@openjdk.java.net> > Sent: Saturday, April 16, 2022 12:25:20 AM > Subject: Re: [External] : Re: Evolving past reference type patterns
>>> >>> Can you provides examples of such refactorings ? > Refactoring > int x = aShort; > foo(x, x); > to > let int x = aShort > in foo(x, x); We already agree that pattern assignment (the let =) should use assignment conversions. Rémi
