The node you are looking for is at variable-type-inference.