swift234

Start inferring type witnesses dependent on other type witnesses.

This is a very narrow, very hacky fix for rdar://problem/21774092
meant to help the standard library make progress.

Swift SVN r30246