It's amazing that merging work at all. It's a dumb textual transform that provides no guarantees that the code is even syntactically valid, let alone correct. The problem feels AI-complete. I've seen bad resolutions of merge conflicts way more than bad automatic merges though.