undeclared symbol in 18.5.2?

Stephan Herrmann stephan.herrmann at berlin.de
Thu Nov 14 12:07:08 PST 2013

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" ?)


More information about the lambda-spec-experts mailing list