Java example source code file (T8023549.java)

This example Java source code file (T8023549.java) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Learn more about this Java project at its project page.

Java - Java tags/keywords

extsupplier, foo, foo::, supplier, t8023549

The T8023549.java Java example source code

/*
 * @test /nodynamiccopyright/
 * @bug 8023549
 * @summary Compiler emitting spurious errors when constructor reference type is inferred and explicit type arguments are supplied
 * @compile/fail/ref=T8023549.out -XDrawDiagnostics T8023549.java
 */

public class T8023549 {
    static class Foo<X> { }

    interface Supplier<X> {
        X make();
    }

    interface ExtSupplier<X> extends Supplier { }

    void m1(Supplier<Foo sfs) { }

    void m2(Supplier<Foo sfs) { }
    void m2(ExtSupplier<Foo sfs) { }

    void test() {
        Supplier<Foo sfs = Foo::new;
        m1(Foo::<Number>new);
        m2(Foo::<Number>new);
    }
}