Class FinishTypeInference