Type members can be duplicated if left and right add non-identical members
Closed this issue · 0 comments
slarse commented
Because of the conservative left-to-right matching (to avoid spurious left-right matches that cause move conflicts), type members can become duplicated when left and right add members that are sufficiently different. If these don't get matched in the left-to-right matching, then they will be duplicated in the output.
A solution to this would be to scan for duplicated members after the merge, and merge these separately.