Mark posted this to the list: "We don't need to worry about such code. It is illegal in Cajita of course. And the Cajita runtime may assume the absence of such uncajoled nonsense. However, we do need to document such assumptions."
So I guess we shouldn't waste the cycles on casting to Object, but rather should document the assumption. http://codereview.appspot.com/97041
