For each such argument, inferences are made from that argument by relating the return type of P with the inferred return type of L and the new inferences are added to the accumulated set of inferences.

• 对于每个这样的参数，推断是从参数做出的，这个过程是通过相关联的P的返回类型以及推断的L的返回类型实现的，并且，新的推断会加入到一套已经积累完毕的推断中。