modified some aspects of inference in order to make it more in line with the spec. However, this led to regressions -- see
is too risky to include in 8u20, some changes in
need to be rolled back.
- CapturedUndetVar.addBound should not modify the bounds of the 'bound' parameter
- Types.isSubtypeNoCapture should not skip the 'cvarLowerBound' call when 't' is an UndetVar