Nested-Generic Type with the same parameter as enclosing type?

Question

Greetings. I want to write a nested generic type with the same type parameter as the enclosing type. For example, consider:
public interface BinaryTree<Type> {
     Node<Type> getRoot();
     interface Node<Type> {
          Type getValue();
          void setValue(Type value);
          Node<Type> getLeft();
          void setLeft(Node<Type> node);
          Node<Type> getRight();
          void setRight(Node<Type> node);
}In this example, I want Node to be specified to the same type as the binary tree's parameter specification. Does anyone know how to do that? I have tried several methods and am at a loss.
TIA

Answer 1

Is there any way to declare that? Essentially I want
the nested type to parameterize the enclosing type.I understand that but I don't think it's possible because of how java generics works.
This ,
SomeClass< SomeNestedClass<Type> >is wrong because you're supposed to give a formal type parameter within <> not an already defined type (like SomeNestedClass).
If you instead do
public class SomeClass<Type > {
    public static class SomeNestedClass<Type> {
}To think of the two Type as the same formal type parameter is semantically incorrect. Both the outer type and the inner type must be able to participate in variable declarations "on their own". Say you do
SomeClass<Integer> sc;Just because you did the above in which context is now SomeNestedClass supposed to be bound as SomeNestedClass<Integer>? To me this shows that SomeClass and SomeNestedClass cannot share the same formal type parameter.