Confusing/ambiguous sentence in 'Trait Implementation Coherence' section

[kklibo]

Items->Implementations->'Trait Implementation Coherence' describes "overlapping implementation instances" with this sentence:

Two trait implementations overlap when there is a non-empty intersection of the traits the implementation is for, the implementations can be instantiated with the same type.

I wanted to fix the grammar, but I couldn't decide what this sentence was supposed to mean. My best guess (changes in bold) is:

Two trait implementations overlap when there is a non-empty intersection of the associated functions the implementation is for, and the implementations can be instantiated with the same type.