[tcard]

That's type safety, not memory safety.

... But no, Go isn't memory safe, insofar data races can cause memory corruption.

[junon]

That is a part of memory safety, not just type safety. Type safety could fix this form of memory issue, yes.