Revisiting default values

Peter Levart peter.levart at
Wed Aug 5 08:11:45 UTC 2020

On 8/5/20 10:05 AM, Peter Levart wrote:
> Javac could emit a check before accessing a field from code where 
> embedded check is not performed (where instance is not "this") and 
> before invoking default interface method (as determined by static type), javac could not do that, right? It does not know if the instance 
is of inline class at that time and of which inline class. This is only 
possible during runtime...

But at least for field accesses this could work.


More information about the valhalla-spec-observers mailing list