Type Inference

Generics would be painful to use if every call had to spell out the type arguments. Min[int](3, 5) is verbose; Min(3, 5) reads like normal code. Go's compiler bridges the gap with type inference: it looks at the arguments and the constraints, figures out what each type parameter must be, and lets you skip the brackets. This lesson covers when inference works, when it doesn't, and what to do about the cases where it fails.