It’s a basic optimisation. Java does it as well, for example, and it’s safe. But...

		chrisseaton on Oct 4, 2021 \| parent \| context \| favorite \| on: Things Go needs more than generics It’s a basic optimisation. Java does it as well, for example, and it’s safe. But it’s not part of the type system and it’s not what people here are talking about.