Description Carl Quinn 2005-06-22 21:05:58 EDT

The compiler is incorrectly reporting a problem with parameterized classes when their parameters are 
populated using nested classes more than one level deep. The code in question compiles & runs fine 
under javac. Greatly simplified test case (which I think should compile):

abstract class ObjectInput {}

abstract class Factory<O, I extends ObjectInput, C extends I> {}

class Foo {}

public class FooFactory extends 
    Factory<Foo, FooFactory.Input, FooFactory.CreateInput> {

  static class Input extends ObjectInput {}
  
  static class CreateInput extends Input {}
}

There are then errors reported on the "Input" near the end, on the "FooFactory.CreateInput" in the 
FooFactory parameter population, and on "FooFactory" itself. 

I think the primal error is the one on "Input", which is: "Cycle detected: a cycle exists in the type 
hierarchy between FooFactory.CreateInput and FooFactory"