> De: "Brian Goetz" <[email protected]>
> À: "Remi Forax" <[email protected]>
> Cc: "amber-spec-experts" <[email protected]>
> Envoyé: Jeudi 13 Août 2020 03:51:51
> Objet: Re: A peek at the roadmap for pattern matching and more
>> In the code:
>> public deconstructor B(int a, int b) {
>> super(var aa) = this;
>> a = aa;
>> b = this.b;
>> }
>> i believe the first line should be
>> A(var aa) = super;
> P = e
> is like
> if (e instanceof P) { rest of method }.
> What would be on the LHS of the instanceof would be `this`, not `super`. This
> is
> like `if (this instanceof super(var aa))`.
I'm not able to parse "super(var aa)", it's not a pattern we have not talk
about.
And "super" is "this" typed as the superclass and with the method calls on it
using invokespecial instead of invokevirtual.
Rémi
