swift234

Further refinement of `isBindableTo` for BoundGenericType conformances.

The conformances for e.g. `Foo<T>` might still be bindable to those for `Foo<Int>`; we can handle this by looking to see if the conformances' root NormalProtocolConformances match instead of their leaf specializations.