A deep dive into Go's type inference rules for generic functions, specifically how type equations are formed and solved. Covers the limitation that generic types must be explicitly instantiated even when the inferred type seems obvious, and explains how the Go spec defines type equations for function calls, assignments, and return statements involving generic functions.
1 Impression