Lambda的类型是从使用Lambda的上下文推断出来的

类型检查过程可以分解为如下所示：

1. 你要找出filter方法的声明
2. 要求它是Predicate<Apple>（目标类型）对象的第二个正式参数；
3. Predicate<Apple>是一个函数式接口，定义了一个叫作test的抽象方法；
4. test方法描述了一个函数描述符，它可以接受一个Apple，并返回一个boolean；
5. filter的任何实际参数都必须匹配这个要求；