I think part of the question might have been if there is some scope level in between that associated with a single method argument and that associated with the whole method body. (E.g., what if I don’t want T exposed to the method body, but I want it associated with two method arguments?)
3 Likes
The syntax can feel a little like it was put together by a committee, which it was. 
It does look like a typo.
Otherwise, if t' is Any in the second statement, we would conclude that Any <: (T where T1<:T<:T2) for any pair of (T1, T2).
Should’ve been t[t3/T] >: t'
Thank you for confirming. You’re a hero.