Type inference-both exact and speculative.

类型推断——包括精确和推测两种方式。