Understanding Go 1.21 generics type inference

Breaking down the release notes, with concrete explanations and annotated examples