undeclared symbol in 18.5.2?

[Stephan Herrmann]

This should be an easy one:

in 18.5.2 we have these fragments in order:

"... and let S be the invocation's target type."

"* For all i (1 ≤ i ≤ k), the set contains ⟨ei ⊆throws T⟩."

"... the target type, T, ..."


Are all three supposed to refer to "the invocation's target type"?

In the 2nd fragment "T" doesn't seem to resolve to any declaration :)

(Why "S" ?)

best,
Stephan