swift234

Switch array literals over to the formal protocol ArrayLiteralConvertible.

As part of this, teach TypeChecker::callWitness() to cope with
witnesses within generic types, where we need to perform non-trivial
substitution.


Swift SVN r5487