Go Generic Inference as LeetCode Problems
Go's generic type inference is hard to read if I start from unify.go, infer.go, and call.go directly. A simpler way is to treat it like a small set of LeetCode problems: each problem has a clear input, a target behavior, and a check for whether the model is good enough.
Idea from Yuchen. Text written by AI.