Is there a way to refer to the current type with a type variable?

Question

Suppose I\'m trying to write a function to return an instance of the current type. Is there a way to make T refer to the exact subtype (so T should

Answer 1

You should be able to do this using the recursive generic definition style that Java uses for enums:

class A> {
    T foo();
}
class B extends A {
    @Override
    B foo();
}