What does `where Left.Element == Right.Element` require?

What does `where Left.Element == Right.Element` require?

1. The two container types may differ, but their element types must be identical.
2. Left and Right must be exactly the same container type.
3. Both element types are converted to Any at runtime.
4. The elements only need to share one method name.