Algorytm wnioskowania typu Go

Jakiego algorytmu wnioskowania używa kompilator Go?

Próbowałem to sprawdzić na golangu, ale nie mogę znaleźć dokumentacji. Kusi mnie, aby założyć, że będzie to Hindley-Milner, ale chciałbym wiedzieć na pewno