import java.lang.Integer;
import java.lang.Number;
import java.lang.Object;

public class Bug337 {
    public void main() {
        Fun1$$<Object, Integer> fun1 = x -> x.hashCode() + 1;
        Fun1$$<Number, Number> fun2 = fun1;
    }
}