Re: [External] : Re: Evolving past reference type patterns

[Brian Goetz]

Also, the following would be an error, even though the two are naturally 
dual:

record Foo(int x) { }
Foo f = new Foo(aShort);

if (f instanceof Foo(short x)) { ... }  // would be an error without 
`short x` applicable to int



On 4/15/2022 6:25 PM, Brian Goetz wrote:

    ​
    Can you provides examples of such refactorings ?


Refactoring

    int x = aShort;
    foo(x, x);

to

    let int x = aShort
    in foo(x, x);