To be honest that doesn't seem too convincing for a new language. It actually reminds me of the early dogmatism of Java which today is often seen as too restrictive.

Rust makes an argument about safety but only for a select few types of errors and the cost seem rather high.