There was — and I think it's still present — a similar bug in OS X's WM. ^→ and ^← switch spaces; the active (keyboard focused) window is not switched until the end of the animation, and subsequent keyboard input isn't withheld in the meantime. Meaning that if you type:

  123 ^→ abc

Which window gets "abc" is entirely dependent on how fast you type it. (If you wait long enough, the top window in the destination workspace gets it. If you don't, the top window in the source workspace.)

This gets doubly fun when both windows are terminals with ssh to production machines open…