Disjointness based on associated types RFC (closed). I recommend reading the comments, and maybe even some of the linked issues, to anyone interested in the concerns and difficulties around negative reasoning, exclusive traits, and the like.
There's a work around explored in the last comment, and here's another. I believe they are the same or similar to each other and to your workaround above, but didn't take the time to actually compare and contrast them.