[xxs]

The cast is added by javac, so it just needs to verify the object on the stack to be compatible w/ the provided class. That part is very simple.