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.