Re: "is already defined in"

[ericjs]

Yeah a warning sounds like a good idea. I never would have guessed it
was possible either and can't imagine a reason for doing it on
purpose. Maybe the designed wanted to make extra sure that the
constraint could not be violated. ;^)