为什么隐式类型推断只在赋值中起作用?

我知道,在赋值中使用泛型,方法可以通过查看左侧变量的类型来隐式地了解返回类型的类型。

google集合中的示例:

List<String> l = Lists.newArrayList()

我的问题是,为什么它不适用于方法或更高类型的推理?

例子:

List<List<String>> ll = Lists.newArrayList();
ll.put(Lists.newArrayList()); // doesn't work

这在JLS中有规定吗?如果是,为什么?如果不是,那么这是一种可以从Java 7期待的改进吗?

这让我恼火,因为我们在Java中遇到了问题,就像我很久以前在Delphi中遇到的问题一样,我不能做链式方法调用:

C c = a.b().c();

在Delphi(IIRC)中,您必须:

B b = a.b();
C c = b.c();

看起来像“德贾乌”