Why Go-style error handling is not great

There is an important concept in software development called "correct by construction" 1. Briefly, it means incorrect things cannot be expressed using a language/library/config/etc. in question. And i