swift

9bbfb210 - [SILVerifier] Ease this over-strict verification.

[SILVerifier] Ease this over-strict verification. It's permitted for a `witness_method` instruction to have multiple type-dependent operands. This can happen when for example when one local archetype is defined in terms of another. rdar://159211502