C is a static-typed language that is not type-safe, because pointers(
void *y) let you do pretty much anything you like, even things that will crash your program.
GO is also a static typed language
Despite, GO has pointers(
var y *int), it is still considered type-safe language.
Considering GO pointers,
Why GO language is called type-safe language?