Le compilo java sort un warning à la compilation s'il n'est pas capable de statiquement vérifier un cast. Mais en l'absence de tel warning, je crois que le typage est "safe and sound".