Welchen Typ-Inferenz-Algorithmus verwendet der Go-Compiler?

Ich habe versucht, dies auf Golang nachzuschlagen, aber ich kann keine Dokumentation finden. Ich bin versucht anzunehmen, dass es Hindley-Milner sein würde, aber ich würde es gerne wissen