The Java type system is also unsound. That’s life. It is hard to do this fully correctly. In practice this never comes up.

While true, there are two important differences:

1) Unsoundnesses in Java's type system are checked at runtime.

2) They (or at least some) are intentional or at least won't-fix bugs.

Both are not true for Rust.