Как работает type inference для дженериков?

Компилятор выводит параметры типа по аргументам вызова. slices.Clone(s) выводит тип элемента из s. Явно: F[int](42). Вывод работает по аргументам и по результатам (если нужно). Нельзя вывести - нужно указать тип явно: F[int]().