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)
======================================================================
- relates to
-
JDK-5097548 (crash) Stack overflow in capture conversion
- Resolved