Otherwise, a return type cannot be inferred for L.

• 相反的，则返回类型不能够由L推断做出。