I'm telling you you've not read the entire thread, which I started with: "Programming languages should be safe by default, except in clearly delimited sections

I'm telling you you've not read the entire thread, which I started with: "Programming languages should be safe by default, except in clearly delimited sections of code (as small as a single expression) where the programmer requests less safety." In terms of the word semantics of the situation, people writing in a safe subset of a language are writing safe code. Once they use the unsafe bits, then they aren't.