JavaExample.java

// $ cat Bar.java:

interface Bar<F> {
            F f  ();
    default F bar() { return f(); }
}


// ==================================================
// $ cat Foo.java:

class Foo implements Bar<Foo> {
    @Override public Foo f() { return this; }
}


// ==================================================
// $ cat Baz.java:

class Baz {
    public static void main(String args[]) {
        Foo foo = new Foo().bar(); // works without cast
    }
}