Oui, c'est ce que swkeek disait par "genericite par erasure".

Pollux :
Donc il n'y a aucune garantie qu'un Iterator<Integer> contiendra réellement des entiers

Au runtime non, mais à la compilation tout est correctement vérifié.