¿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.