swift
[ConstraintSystem] Detect and diagnose inability to infer type of closure parameter(s)
#31809

Merged

[ConstraintSystem] Detect and diagnose inability to infer type of closure parameter(s) #31809

xedin merged 7 commits into swiftlang:master from xedin:rdar-63230293

[CSGen] Allow closure parameters to become holes by default

b5568e0c

[ConstraintSystem] Add a way to check whether a given type variable r…

2b8518b1

[CSFix] Add a fix to use when type of closure parameter can't be infe…

bf4c513f

[Diagnostics] Diagnose inability to infer type of a closure parameter

7e4eb9ce

[Diagnostics] Don't diagnose inability to infer closure parameter if …

f68e8d24

[ConstraintSystem] Don't contract edges with type holes

2f91f213

[ConstraintSystem] Detect and diagnose inability to infer type of clo…

d111f119

xedin requested a review from

hborla 5 years ago

LucianoPAlmeida commented on 2020-05-15

theblixguy commented on 2020-05-15

hborla approved these changes on 2020-05-15

xedin merged 01dcc291 into master 5 years ago

Reviewers

hborla

theblixguy

LucianoPAlmeida

Assignees

No one assigned

Labels

None yet

Milestone

No milestone