swift
[NameLookup] Opaque Type Collector should skip existential types
#63221

Merged

[NameLookup] Opaque Type Collector should skip existential types #63221

angela-laar merged 8 commits into swiftlang:main from angela-laar:verifier-failure-implicit-some

angela-laar requested a review from

hborla 3 years ago

angela-laar requested a review from

slavapestov 3 years ago

angela-laar requested a review from

xedin 3 years ago

angela-laar removed review request from

slavapestov 3 years ago

angela-laar force pushed 3 years ago

angela-laar requested a review from

AnthonyLatsis 3 years ago

angela-laar removed review request from

AnthonyLatsis 3 years ago

hborla approved these changes on 2023-01-27

angela-laar force pushed 3 years ago

xedin removed review request from

xedin 3 years ago

angela-laar force pushed 3 years ago

[AST] Fix circular reference with implicit some

b3f3b802

[NameLookup] Opaque Type Collector should skip existential types

acc90b1b

[Sema] Print location for unused generic param error

8cc071d4

Test Explicit Existential with Implicit Some

2c9ada1c

[Sema] Diagnose DisallowedExistential in type resolution

c837baa3

[Namelookup] Wallk into GenericIdentTypeRepr

5a91cea6

[Sema] Prevent duplicate diagnostics for opaque return type

4a9722e5

[Sema] Prevent duplicate diagnostics in oqaque types

cba73896

angela-laar force pushed to cba73896 3 years ago

angela-laar merged 54271918 into main 3 years ago

Reviewers

hborla

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift [NameLookup] Opaque Type Collector should skip existential types #63221 Merged

[NameLookup] Opaque Type Collector should skip existential types #63221

swift
[NameLookup] Opaque Type Collector should skip existential types
#63221

Merged