The reason that existentials are safe is that the rules in place forvalues of existential type are consistent with the rest of the genericsystem, whereas raw types contradict those rules, resulting in codethat should not typecheck, and only does for legacy code support. Wecan see this in action with two Java methods.