swift
[ConstraintSystem] Introduce a new type to represent a type hole
#33658

Merged

[ConstraintSystem] Introduce a new type to represent a type hole #33658

xedin merged 8 commits into swiftlang:master from xedin:introduce-hole-type

[AST] Introduce a new type to represent a type hole in constraint system

78ea3de8

[CSApply] Make sure that hole type are not propagated to AST

48c97676

[ConstraintSystem] Replace use of `UnresolvedType` with specialized `…

d039107b

[CSDiagnostics] Adjust diagnostics to account that type holes in solu…

b4d3237b

xedin requested a review from

hborla 5 years ago

LucianoPAlmeida commented on 2020-08-27

[AST] NFC: Fix a typo in the `HasTypeHole` description

b6c2f894

slavapestov commented on 2020-08-27

[AST] Make sure that hole types are always allocated in `ConstraintSo…

8f2e53c7

[CSBindings] Don't attempt to join types that contain holes

96650911

[AST/TypeChecker] Add more asserts to make sure types don't get into AST

4847ec9a

swiftlang deleted a comment from swift-ci on 2020-08-27

swiftlang deleted a comment from swift-ci on 2020-08-28

hborla approved these changes on 2020-08-28

xedin merged a6c3e6f5 into master 5 years ago

davezarzycki commented on 2020-08-30

Reviewers

hborla

davezarzycki

slavapestov

LucianoPAlmeida

Assignees

No one assigned

Labels

None yet

Milestone

No milestone