I think correctness is the wrong word. Maybe safety would be better? (Verboseness? Precision?) Go is quite a stable language. Well-specified, rigorously tested

I think correctness is the wrong word. Maybe safety would be better? (Verboseness? Precision?) Go is quite a stable language. Well-specified, rigorously tested, and conservatively updated. I think all the behavior you listed is well-defined, albeit perhaps unexpected. Lack of generics doesn't make code incorrect. Less clear maybe, or easier to make a mistake. Or clearer and a lot more code. I guess you could argue that it makes writing correct code harder?