如何理解这个字符串扩展中的join函数？

Question

在Xcode中使用Open Quickly，我发现了这个String扩展程序：

extension String {
    func join<S : SequenceType where String == String>(elements: S) -> String
}

我希望它是

extension String {
    func join<S : SequenceType where S.Element == String>(elements: S) -> String
}

因为我认为目的应该是在传递给函数String时确保序列中的元素为join。

所以我的问题是：

1. Xcode 6 GM中的函数声明是否正确？
2. 如果是这样，为什么有意义？