Algoritmo de inferencia de tipo de Go

¿Qué tipo de algoritmo de inferencia usa el compilador Go?

Intenté buscar esto en Golang pero no puedo encontrar documentación. Estoy tentado de asumir que sería Hindley-Milner, pero me gustaría saberlo con seguridad.