swift
Fixes for conformances of variadic generic types
#64753
Merged

Fixes for conformances of variadic generic types #64753

slavapestov
slavapestov slavapestov force pushed 2 years ago
slavapestov slavapestov marked this pull request as ready for review 2 years ago
slavapestov slavapestov requested a review from AnthonyLatsis AnthonyLatsis 2 years ago
slavapestov slavapestov requested a review from hborla hborla 2 years ago
slavapestov slavapestov requested a review from xedin xedin 2 years ago
slavapestov slavapestov requested a review from tshortli tshortli 2 years ago
slavapestov slavapestov force pushed 2 years ago
slavapestov slavapestov changed the title Variadic conformances Fixes for conformances of variadic generic types 2 years ago
slavapestov slavapestov force pushed 2 years ago
slavapestov
slavapestov IRGen: Fix conformances of variadic generic types
d3f0cbee
slavapestov AST: Refactor printing of generic types a bit
2068dc82
slavapestov AST: Fix getTypeOfMemberSubstitutions() for variadic generics
8d122759
slavapestov Sema: Protocol conformance checking fixes for variadic generics
fa1e17fa
slavapestov Sema: Generic parameter packs cannot witness associated type requirem…
e635dd3a
slavapestov RequirementMachine: Clean up desugarRequirement() a bit
e14ac9e4
slavapestov RequirementMachine: Use Requirement::checkRequirement() to desugar co…
58822544
slavapestov RequirementMachine: Use Requirement::checkRequirement() to desugar su…
8d219442
slavapestov RequirementMachine: Use Requirement::checkRequirement() to desugar la…
80f8487d
slavapestov SIL: Fill in unimplemented logic in verifyDynamicPackIndexStructuralE…
86f37e2a
slavapestov Add executable test for conformances of variadic generic types
268fff78
slavapestov slavapestov force pushed to 268fff78 2 years ago
slavapestov
slavapestov slavapestov merged db058a4f into main 2 years ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone