In short, the moral to this story is to always convince yourself that the invariants inside a code block ensure that any casts in the block will always succeed.