Comment by F3nd0

Other than Ada/SPARK, which languages can guarantee this won’t happen?