RFR: 8261006: 'super' qualified method references cannot occur in a static context [v3]

[Vicente Romero]

> Please review this PR, currently javac is accepting code like:
> 
> 
> import java.util.function.Supplier;
> 
> public class MethodReferenceInConstructorInvocation {
>     interface Bar {
>         default String getString() { return ""; }
>     }
> 
>     static class Foo implements Bar {
>         public Foo() {  this(Bar.super::getString);  }
>         public Foo(Supplier<String> sString) {}
>     }
> }
> 
> 
> but the spec states in `15.13 Method Reference Expressions`:
> 
> If a method reference expression has the form super :: [TypeArguments] Identifier
> or TypeName . super :: [TypeArguments] Identifier, it is a compile-time error if
> the expression occurs in a static context (§8.1.3).
> 
> and a constructor invocation is a static context. So method references of this form, qualified by `super`, should be rejected by the compiler if they appear in a static context.
> 
> TIA

Vicente Romero has updated the pull request incrementally with one additional commit since the last revision:

  addressing review comments

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

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/4376/files
  - new: https://git.openjdk.java.net/jdk/pull/4376/files/7dfe9271..23bbeb43

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=4376&range=02
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=4376&range=01-02

  Stats: 13 lines in 4 files changed: 2 ins; 6 del; 5 mod
  Patch: https://git.openjdk.java.net/jdk/pull/4376.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/4376/head:pull/4376

PR: https://git.openjdk.java.net/jdk/pull/4376