new inference: capture conversions in return types initial; variable dependencies
new inference: resolve
new inference: 2 phase resolution
new inference: debug
AIOOBE
NPE
new inference: cls copy replacement
new inference: cleanup
bound promotion for super wildcard (? super A (bound extends A) == A)
bound promotion for super wildcard (? super A (bound extends A) == A)
new inference: 18.5.2 adjustments
meaningful toString
java 8: allow to cast to intersection types
new inference: accept null = Object constraint
new inference: cleanup from eliminateWildcards
new inference: cleanup checkFunctionalType
new inference: cleanup from eliminateWildcards
new inference: lift also unknown vars (IDEA-117530)