I think you need to justify that statement, what about type theory says that Go can't have generics? As a follow-up, would the same logic have proved that Java

I think you need to justify that statement, what about type theory says that Go can't have generics? As a follow-up, would the same logic have proved that Java 1.4 couldn't add generics?