java - Javaの型消去:型の安全性はどのように保証されますか?

Question

Javaジェネリックの型消去メカニズムに従って、メソッド:

boolean add(E e);

..コンパイルされます

boolean add(Object e);

では、型の安全性はどのように確保されるのでしょうか。add は Object を受け取るようになったので、String、Integer、Employee などをすべて Object のサブタイプとして渡すことができます。