swift234

Fix a few issues discovered in rdar://19121129.

When propagating concrete types into witness_method and apply instructions inside propagateExistential, propagate them also inside parameters of polymorphic functions.

Do not refer to init_existential inside apply instructions if we cannot prove that a given init_existential instruction dominates the apply instruction that would refer to it.

Swift SVN r23638