On Wed, 20 Aug 2025 at 20:55, monadix <arsenijalf...@gmail.com> wrote:
> Why exactly isn't it possible in the current (I use go 1.24.5) compiler? > Is it simply unimplemented, impossible for some unknown to me reason (would > like to read the actual explaination) or undesirable and forbidden (also, > why?)? It isn't exactly impossible, but it would likely require a SAT solver to make type-checking precise: https://github.com/golang/go/issues/40301#issuecomment-821906009 The comment links to a few other discussions which explain the problem in more detail, but that's the issue where we decided on the current semantics. > -- > You received this message because you are subscribed to the Google Groups > "golang-nuts" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to golang-nuts+unsubscr...@googlegroups.com. > To view this discussion visit > https://groups.google.com/d/msgid/golang-nuts/01b8ebdb-c386-460c-ac09-596605bf4f18n%40googlegroups.com > <https://groups.google.com/d/msgid/golang-nuts/01b8ebdb-c386-460c-ac09-596605bf4f18n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "golang-nuts" group. To unsubscribe from this group and stop receiving emails from it, send an email to golang-nuts+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/golang-nuts/CAEkBMfEHM6Pvjz43_JuocXyRoB-WMM4apqMwu8CgF%3DcXPDXUhg%40mail.gmail.com.
