Go has duck-typed interfaces. It will make sure that only values implementing Animal will ever be used as an Animal anywhere. It's fully statically type-check

Go has duck-typed interfaces. It will make sure that only values implementing Animal will ever be used as an Animal anywhere. It's fully statically type-checked. It's arguably one of the defining features of Go in general, and is what shapes much of the idiomatic code style.