Yes, it's more complicated than that, but at least "straightforward" code with x==y won't compile so you'll have to think about it.