@airspeedswift
hey mate
I've made some progress with this issue but have hit a wall and was hoping for some advice
It was easy enough to remove the requirement for sequences element to match otherSequences element but update the equitable closure has proven more of an issue.
``` public func elementsEqual<OtherSequence>(
_ other: OtherSequence${"," if preds else ""}
% if preds:
by areEquivalent: (${GElement}, OtherSequence.${GElement}) throws -> Bool
% end
) ${rethrows_}-> Bool
where
OtherSequence: Sequence
```

this code causes a linker error I believe because we are accessing the otherSequences Iterator.element before the where clause had ensured its a sequence. Does that sound correct?

Commit here Cbieniak@3e11d46
please ignore the hacky if below its a WIP.

Ignore above comment, ive found the issue and sorted it

This should presumable apply to the predicate version of startsWith, as well—would we also want heterogenous comparison for lexicographicallyPrecedes? Trying to think of how that would make sense…

#8045 PR is Here

@natecook1000 Happy to take a shot at both of those, if they don't need to go through another round of swift evo discussion

Looks like this is done as of a long time ago. Closing.