swift

0d9be975 - [Sema] Type inference from default expression doesn’t compile in free function (#79989)

[Sema] Type inference from default expression doesn’t compile in free function (#79989) This is an attempt to solving https://github.com/swiftlang/swift/issues/72199. As I've already lined out in the issue, this seems to be a two-fold problem. The first one was a rather easy fix, as I've seen similar approaches in different parts of the codebase. It is pretty much just un-currying the generic function. The second problem was, that `DependentMemberType`s were counted towards the generic-parameter-should-only-be-mentioned-once-limit even though you cannot infer the generic type from the dependent member type.