Swift.String is composed of a finite set of symbols, with a finite maximum length. How can you create an infinite number of these?
The article ignores the distinction in many places, but "String" in a Swift function means "the Swift.String type", not "an abstract string type like those used to represent Turing machine state".