Details
-
Type:
Bug
-
Status: Closed
-
Priority:
P5
-
Resolution: Fixed
-
Affects Version/s: 8
-
Fix Version/s: 8u40
-
Component/s: specification
-
Labels:
-
Subcomponent:
Description
From 18.5.3:
"non-wildcard parameterization (§9.8)"
This should instead point to 9.9:
"non-wildcard parameterization ***(§9.9)***"
In addition, a cross reference would be useful on the word "instantiation" (some people found the meaning confusing, wondering if it implied resolution):
"If B contains an instantiation ***(§18.1.3)*** for αi, T, then A'i = T."
"non-wildcard parameterization (§9.8)"
This should instead point to 9.9:
"non-wildcard parameterization ***(§9.9)***"
In addition, a cross reference would be useful on the word "instantiation" (some people found the meaning confusing, wondering if it implied resolution):
"If B contains an instantiation ***(§18.1.3)*** for αi, T, then A'i = T."