method refs: resolve constructors; static problems

2026-08-26 03:13:40 +07:00 · 2012-09-28 18:53:24 +02:00
parent c428dda27f
commit 37bf7fad42
7 changed files with 318 additions and 41 deletions
@@ -0,0 +1,76 @@
+class MyTest {
+    MyTest() {
+    }
+
+    interface I {
+        MyTest m();
+    }
+
+    static void test(I s) {
+        s.m();
+    }
+
+    public static void main(String[] args) {
+        I s = MyTest::new;
+        s.m();
+        test(MyTest::new);
+    }
+}
+
+class MyTest1 {
+
+    MyTest1(Object o) {
+    }
+
+    MyTest1(Number n) {
+    }
+
+    interface I {
+        MyTest1 m(Object o);
+    }
+
+    static void test(I s, Object arg) {
+        s.m(arg);
+    }
+
+    public static void main(String[] args) {
+        I s = MyTest1::new;
+        s.m("");
+        test(MyTest1::new, "");
+    }
+}
+
+class MyTest2<X> {
+    MyTest2(X x) {
+    }
+
+    interface I<Z> {
+        MyTest2<Z> m(Z z);
+    }
+
+    static <Y> void test(I<Y> s, Y arg) {
+        s.m(arg);
+    }
+
+    public static void main(String[] args) {
+        I<String> s = MyTest2<String>::new;
+        s.m("");
+        //todo test(MyTest2<String>::new, "");
+    }
+}
+
+class MyTest3<X> {
+
+    MyTest3(X x) { }
+
+    interface I<Z> {
+        MyTest3<Z> m(Z z);
+    }
+
+    static void test(I<Integer> s) {   }
+
+    public static void main(String[] args) {
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest3.I<java.lang.Integer>'">I<Integer> s = MyTest3<String>::new;</error>
+        test<error descr="'test(MyTest3.I<java.lang.Integer>)' in 'MyTest3' cannot be applied to '(<method reference>)'">(MyTest3<String>::new)</error>;
+    }
+}
@@ -14,4 +14,102 @@ class MyTest {
          I i3 = Foo :: foo;
       }
    }
-}
+}
+class MyTest1 {
+    void m1(MyTest1 rec, String x) { }
+    void m1(String x) { }
+
+    static void m2(String x) { }
+    static void m2(MyTest1 rec, String x) {}
+
+    void m3(MyTest1 rec, String x) { }
+    static void m3(String x) { }
+
+    void m4(String x) { }
+    static void m4(MyTest1 rec, String x) { }
+
+    interface I1 {
+        void m(String x);
+    }
+
+    interface I2 {
+        void m(MyTest1 rec, String x);
+    }
+
+    static void call1(I1 s) {   }
+
+    static void call2(I2 s) {   }
+
+    static void test1() {
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest1.I1'">I1 s1 = MyTest1 ::m1;</error>
+        call1<error descr="'call1(MyTest1.I1)' in 'MyTest1' cannot be applied to '(<method reference>)'">(MyTest1::m1)</error>;
+        I1 s2 = MyTest1  :: m2;
+        call1(MyTest1::m2);
+        I1 s3 = MyTest1::m3;
+        call1(MyTest1::m3);
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest1.I1'">I1 s4 = MyTest1::m4;</error>
+        call1<error descr="'call1(MyTest1.I1)' in 'MyTest1' cannot be applied to '(<method reference>)'">(MyTest1::m4)</error>;
+    }
+
+    static void test2() {
+        I2 s1 = MyTest1 :: m1;
+        call2(MyTest1::m1);
+        I2 s2 = MyTest1 :: m2;
+        call2(MyTest1::m2);
+
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest1.I2'">I2 s3 = MyTest1 :: m3;</error>
+        call2<error descr="'call2(MyTest1.I2)' in 'MyTest1' cannot be applied to '(<method reference>)'">(MyTest1::m3)</error>;
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest1.I2'">I2 s4 = MyTest1 ::m4;</error>
+        call2<error descr="'call2(MyTest1.I2)' in 'MyTest1' cannot be applied to '(<method reference>)'">(MyTest1::m4)</error>;
+    }
+}
+
+class MyTest2 {
+    void m1(String x) { }
+    void m1(MyTest2 rec, String x) { }
+
+    static void m2(MyTest2 rec, String x) {}
+    static void m2(String x) { }
+
+    static void m3(String x) { }
+    void m3(MyTest2 rec, String x) { }
+
+    static void m4(MyTest2 rec, String x) { }
+    void m4(String x) { }
+
+    interface I1 {
+        void m(String x);
+    }
+
+    interface I2 {
+        void m(MyTest2 rec, String x);
+    }
+
+    static void call1(I1 s) {   }
+
+    static void call2(I2 s) {   }
+
+    static void test1() {
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest2.I1'">I1 s1 = MyTest2 ::m1;</error>
+        call1<error descr="'call1(MyTest2.I1)' in 'MyTest2' cannot be applied to '(<method reference>)'">(MyTest2::m1)</error>;
+        I1 s2 = MyTest2  :: m2;
+        call1(MyTest2::m2);
+        I1 s3 = MyTest2::m3;
+        call1(MyTest2::m3);
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest2.I1'">I1 s4 = MyTest2::m4;</error>
+        call1<error descr="'call1(MyTest2.I1)' in 'MyTest2' cannot be applied to '(<method reference>)'">(MyTest2::m4)</error>;
+    }
+
+    static void test2() {
+        I2 s1 = MyTest2 :: m1;
+        call2(MyTest2::m1);
+        I2 s2 = MyTest2 :: m2;
+        call2(MyTest2::m2);
+
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest2.I2'">I2 s3 = MyTest2 :: m3;</error>
+        call2<error descr="'call2(MyTest2.I2)' in 'MyTest2' cannot be applied to '(<method reference>)'">(MyTest2::m3)</error>;
+        <error descr="Incompatible types. Found: '<method reference>', required: 'MyTest2.I2'">I2 s4 = MyTest2 ::m4;</error>
+        call2<error descr="'call2(MyTest2.I2)' in 'MyTest2' cannot be applied to '(<method reference>)'">(MyTest2::m4)</error>;
+    }
+}
+