My example was totally abstract and untested.  Sorry for any confusion.

After doing some research, I find that this issue is complicated further:
http://support.microsoft.com/kb/100625

I think we can assume that running into a situation where there are identical filenames except for case is quite rare.  The thing is, I don't even know how to make files like this on Windows.  Explorer doesn't work, and other Win32 apps won't do it (they all spit up errors).  I reckon I can do it with Python or some other language, since I assume they does these things at a low level.

I'll start looking at the code and see if I can come up with a patch.  My aim is to make it similar enough to how the Windows Terminal does it, (i.e. it corrects the typed name to the proper case) since that is what I'd imagine most Windows programmers are used to.