You have a generic effect in that where clause. It is saying that any Collection is creatable as a Sequence when the generic effect of the throwing is "nothrow". Granted that is a bit of an extreme case of interpretation of how the generics system works (but is somewhat true today with other conditional constraints).
One of the key reasons why only the values API and not the other way around was introduced was because of this limitation.