Chris Lattner recently explained that because of function overloads (and other features), type inference is really hard to make fast in Swift, and is why he says that "using Hindley-Milner was a mistake". [0]

[0]: https://youtu.be/ENviIxDTmUA?si=FavjcK8IQygnlIwT&t=4417