最新的规范（公共评论）可从jcp.org获得。D部分有一段讨论了这一点。
方法调用，字段访问等（exp.foo（））中的接收者不是多义表达式，因为目标类型是未知的-不可能枚举具有特定成员（在这种情况下为foo的每种类型）
）。允许推理到“链”已经引起了一些兴趣：在a（）。b（）中，将类型信息从b的调用传递到a的调用。由于部分信息必须在两个方向上传递，这为推理算法的复杂性增加了另一个维度。它仅在所有实例化（例如List）的a（）返回类型的擦除固定后才起作用。由于无法轻松派生目标类型，因此此功能不太适合多表达模型。
