Breaking down the changes to generics type inference in Go 1.21, with concrete explanations and annotated examples