Algoritmo de inferência de tipo Go

Que tipo de algoritmo de inferência o compilador Go usa?

Eu tentei procurar isso no golang, mas não consigo encontrar documentação. Estou tentado a supor que seria Hindley-Milner, mas gostaria de saber com certeza