How is language safety different from static type safety

Static type safety means that if a compiler suggests that a program is free of any runtime type errors, running that program can never produce such an error.

Language safety means that an erroneous program can never corrupt the system.

Language safety = Static type check + Dynamic check.