Suy luận kiểu trong generics Go: khi nào tự đoán được T, khi nào phải viết rõ [int]
Go suy luận kiểu ở ba tầng: từ đối số, qua tham số hàm func(T)U, và constraint type inference (từ S ~[]E suy ra E). Đo thật trong Go 1.23 cả trường hợp suy được lẫn khi compiler báo cannot infer T — và tại sao nó không bao giờ đoán mò.