On Mon, 17 Nov 2025 13:51:54 GMT, Vicente Romero <[email protected]> wrote:

> There is a bug in the algo to determine what is kosher and what is not in 
> early construction contexts. The algo was not analyzing any static symbol. 
> But according to the `JLS 25 15.11.2 Accessing Superclass Members using 
> super`:
> 
> 
> It is a compile-time error if a field access expression using the keyword 
> super
> occurs in a static context (§8.1.3) or in an early construction context 
> (§8.8.7) of
> the current class.
> 
> the previous code was checking this only for instance field accesses. The 
> current fix corrects this bug
> 
> TIA

This pull request has now been integrated.

Changeset: e50f031e
Author:    Vicente Romero <[email protected]>
URL:       
https://git.openjdk.org/valhalla/commit/e50f031e8f163ec4ed350d385799cac9e091013f
Stats:     47 lines in 5 files changed: 46 ins; 0 del; 1 mod

8371356: [lworld] 'super' should be rejected in early construction context

Reviewed-by: liach

-------------

PR: https://git.openjdk.org/valhalla/pull/1740

Reply via email to