Revisiting default values
peter.levart at gmail.com
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)
...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.
More information about the valhalla-spec-observers