18.5.2: ei <throws T

[Rafkind, Jon]

Section 18.5.2 of version 0.7.0 says


  *   Let e1, ..., ek be the actual argument expressions of the invocation; if m is applicable by strict or loose invocation, let F1, ..., Fk be the types of the formal parameters of m, and if m is instead applicable by variable-arity invocation, let F1, ..., Fk the first k variable-arity parameter types of m (15.12.2.4<http://cr.openjdk.java.net/%7Edlsmith/jsr335-0.7.0/F.html#F15.12.2.4>). A set, C, of additional constraint formulas is constructed as follows:
     *   For all i (1 ≤ i ≤ k), if ei is not pertinent to applicability, the set contains ⟨ei → θ Fi⟩.
     *   For all i (1 ≤ i ≤ k), the set contains ⟨ei ⊆throws T⟩.

What is the 'T' supposed to be in the (ei <throws T) clause? It looks like T should be either Fi or theta(Fi)