I would bail on type checking and use an assertion. It's not reasonable to try to statically check everything in Java that you could in some other languages.