Какой алгоритм вывода типов использует компилятор Go?

Я пытался найти это на Голанге, но не могу найти документацию. Я склонен предположить, что это будет Хиндли-Милнер, но я хотел бы знать наверняка