The current recursive checks for value class equality does not work if a field is of a type that is not a concrete value class but can store a value object. For example, in the RecursiveValueClass::largeGraph test case, if the value class N is updated to have fields Object l;Object r; instead of N l;N r; the test stalls.
- relates to
-
JDK-8361496 [lworld] Treating interfaces as isValue() leads to failed assert
-
- Open
-
-
JDK-8326602 [lworld] substitutabillity test does not support cyclic membership properly
-
- Resolved
-