RFR: 8029633: Raw inner class constructor ref should not perform diamond inference [v2]

[Vicente Romero]

On Tue, 18 Oct 2022 18:25:22 GMT, Vicente Romero <vromero at openjdk.org> wrote:

>> This PR is synchronizing the compiler with the spec, in particular with this portion of section `15.13.1 Compile-Time Declaration of a Method Reference`:
>> 
>> 
>> – If the method reference expression has the form ClassType ::
>>   [TypeArguments] new , then the potentially applicable methods are a set of
>>   notional methods corresponding to the constructors of ClassType.
>>   If ClassType is a raw type, but is not a non- static member type of a raw type,
>>   the candidate notional member methods are those specified in §15.9.3 for a
>>   class instance creation expression that uses <> to elide the type arguments to a
>>   class. Otherwise, the candidate notional member methods are the constructors
>>   of ClassType, treated as if they were methods with return type ClassType.
>> 
>> so javac should treat the code below as a raw constructor invocation:
>> 
>> 
>> class Outer<T> {
>>     class Inner<U> {}
>> 
>>     Supplier<Outer<T>.Inner<String>> s = Outer.Inner::new;
>> }
>> 
>> currently javac is rejecting this code
>> 
>> TIA
>> 
>> PS. Please review the related CSR too
>
> Vicente Romero has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains two additional commits since the last revision:
> 
>  - Merge branch 'master' into JDK-8029633
>  - 8029633: Raw inner class constructor ref should not perform diamond inference

> 

@lahodaj I think you are right. Good catch! I have updated the PR, thanks!

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

PR: https://git.openjdk.org/jdk/pull/9784