Type inference completed