Yes, like I said you can bake additional features into the language, but that is...

randomdata on March 16, 2022 | parent | context | favorite | on: Hacking sum types with Go generics

Yes, like I said you can bake additional features into the language, but that is beyond the topic of the Result type. Go, with some modification, could allow the same type of mistake even without Result's existence.