Project Lambda: Java Language Specification draft

[Gernot Neppert]

>
> [4.10.4 Subtyping among Function Types]
>
> #T(S1..Sm)(E1..En) is a direct supertype of #V(U1..Um)(F1..Fo) iff all
>  of the following hold:
> - T is a supertype of V.
> - for i in 1..m: Ui is a supertype of Si.
> - for j in 1..o: There exists a k in 1..n such that Ek is a supertype of Fj.
>
>  #Object(String,Integer) is a supertype of #Package(Object,Number).
>  #Object(Object,Object) is also a supertype of #Package(Object,Number).

Surely the last line above must be a typo?