The first question to answer: does anyone care what happens in this case?  Does this really happen in actual code?  If not, just say it's undefined, and don't worry about or test what actually happens.