Commits

Doug Gregor committed ea91c197713
If a type binding to an [auto_closure] function type fails, attempt to bind to the result type of that function type. The astute reader will note that this is a conversion constraint rather than a subtyping constraint, but that is intentional: we need to be able to consider conversion constraints. Later, we can track the initial constraint on which we're basing our assumptions, so we don't generate weaken via conversion when in fact we're only allowed to perform subtyping (for example). Swift SVN r2745