I should note -- this isn't that surprising. The IPv6 stateless autoconfig RFCs have always assumed that this could happen, which is why duplicate address detection is mandatory.