swift
Check generic requirements when type checking calls to variadic generic functions
#61657

Merged

Check generic requirements when type checking calls to variadic generic functions #61657

slavapestov merged 10 commits into swiftlang:main from slavapestov:variadic-generic-function-check-requirements

slavapestov force pushed 3 years ago

Sema: Split up test/Constraints/type_sequences.swift

74a6350f

Sema: Fix matchCallArguments() to allow empty pack type bindings

c41341d9

AST: Fix Type::walk() to visit the count type of a PackExpansionType

72c157e5

Sema: Introduce ConstraintKind::SubclassOf

46d5fa68

Sema: Check requirements when calling a variadic generic function

7d0de80b

Sema: Support PackExpansionTypes in matchPackTypes()

cbce4a52

AST: Implement support for projecting member types from PackType via …

87c0b2dd

Sema: Implement support for projecting member types from PackType in …

afbf844b

Sema: Handle PackElement locator in repairFailures()

f3fcc44d

slavapestov force pushed 3 years ago

Sema: Check AnyObject requirements of variadic generic functions

c34f8d3a

slavapestov force pushed to c34f8d3a 3 years ago

slavapestov merged 77b702d1 into main 3 years ago

xedin commented on 2022-10-26

Reviewers

xedin

Assignees

No one assigned

Labels

None yet

Milestone

No milestone