Type inference created.