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
