Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-5097387

can not compile two mutually depending generic interfaces

XMLWordPrintable

    • Icon: Bug Bug
    • Resolution: Not an Issue
    • Icon: P4 P4
    • None
    • 5.0
    • tools
    • x86
    • windows_xp



      Name: js151677 Date: 09/06/2004


      FULL PRODUCT VERSION :
      java version "1.5.0-rc"
      Java(TM) 2 Runtime Environment, Standard Edition (build 1.5.0-rc-b63)
      Java HotSpot(TM) Client VM (build 1.5.0-rc-b63, mixed mode, sharing)

      ADDITIONAL OS VERSION INFORMATION :
      Microsoft Windows XP [Version 5.1.2600]

      A DESCRIPTION OF THE PROBLEM :
      two very simple interfaces, with mutually dependent type parameters do not compile, but should (I expect no problem, but can't compile)

      STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
      ---- sourcefile 1:
      public interface EdgeI<NodeType extends NodeI<EdgeI<NodeType>>> {}
      ---- sourcefile 2:
      public interface NodeI<EdgeType extends EdgeI<NodeI<EdgeType>>> { }
      ---- end sources


      EXPECTED VERSUS ACTUAL BEHAVIOR :
      EXPECTED -
      I expect no compilation error.
      The errormessage "type parameter EdgeI<NodeType> is not within its bound" is wrong, it is within it's bound!
      ACTUAL -
      C:\Daten\arbeit6\v7>C:\Programme\jdk1.5.0\bin\javac -sourcepath src -d bin -Xlin
      t:unchecked src\EdgeI.java
      src\EdgeI.java:1: type parameter EdgeI<NodeType> is not within its bound
      public interface EdgeI<NodeType extends NodeI<EdgeI<NodeType>>> {}
                                                         ^
      src\NodeI.java:1: type parameter NodeI<EdgeType> is not within its bound
      public interface NodeI<EdgeType extends EdgeI<NodeI<EdgeType>>> { }
                                                         ^
      2 errors

      C:\Daten\arbeit6\v7>C:\Programme\jdk1.5.0\bin\javac -sourcepath src -d bin -Xlin
      t:unchecked src\NodeI.java
      src\NodeI.java:1: type parameter NodeI<EdgeType> is not within its bound
      public interface NodeI<EdgeType extends EdgeI<NodeI<EdgeType>>> { }
                                                         ^
      src\EdgeI.java:1: type parameter EdgeI<NodeType> is not within its bound
      public interface EdgeI<NodeType extends NodeI<EdgeI<NodeType>>> {}
                                                         ^
      2 errors

      REPRODUCIBILITY :
      This bug can be reproduced always.

      ---------- BEGIN SOURCE ----------
      see Steps to Reproduce
      ---------- END SOURCE ----------
      (Incident Review ID: 301989)
      ======================================================================

            ahe Peter Ahe
            jssunw Jitender S (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            0 Start watching this issue

              Created:
              Updated:
              Resolved:
              Imported:
              Indexed: