Revisiting default values

[Peter Levart]

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)

...hm, 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.


Peter