JDK-7175433 : Inference cleanup: add helper class to handle inference variables
  • Type: Sub-task
  • Component: tools
  • Sub-Component: javac
  • Affected Version: 8
  • Priority: P3
  • Status: Closed
  • Resolution: Fixed
  • OS: generic
  • CPU: unknown
  • Submitted: 2012-06-08
  • Updated: 2014-02-05
  • Resolved: 2012-09-25
The Version table provides details related to the release that this issue/RFE will be addressed.

Unresolved : Release in which this issue/RFE will be addressed.
Resolved: Release in which this issue/RFE has been resolved.
Fixed : Release in which this issue/RFE has been fixed. The release containing this fix may be available for download as an Early Access Release or a General Availability Release.

To download the current JDK release, click here.
JDK 8
8 b61Fixed
Description
Inference variables are represented by UndetVar instances in javac. Operations such as creation/substitution of such inference variables is handled by miscellaneous routines across Infer.java. It would be useful to group all routines handling inference variables into a single helper class that can then be more easily passed around javac.

Comments
verified with tests in webrev
18-12-2012

SUGGESTED FIX A webrev of this fix is available at the following URL: http://hg.openjdk.java.net/jdk8/tl/langtools/rev/2eca84194807
25-09-2012

EVALUATION Will do - will make implementation of lanmbda type-checking a lot cleaner.
08-06-2012