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 ...