Non-copyable generics fixes #71241
slavapestov
merged
21 commits into
swiftlang:main
from
slavapestov:ncgenerics-fixes
kavon
approved these changes
on 2024-01-31
AST: Introduce GenericSignature::getRequirementsWithInverses()
6ed553da
AST: Refactor ASTPrinter to use getRequirementsWithInverses()
45f31b45
AST: Refactor the mangler to use getRequirementsWithInverses()
8e7edb2b
Sema: Move -debug-generic-signatures behavior to TypeCheckDeclPrimary…
2355cb40
ASTPrinter: Refactor printing of RequirementSignatures
23b1690f
SIL: Add some assertions
094328dd
SILGen: Clean up substitution map construction to deal with Copyable
af3ab149
Sema: Simplify DerivedConformance::createBuiltinCall()
7ed55094
Sema: Debug messages for TypeCheckCircularity.cpp
4f2ad8f7
Sema: We can end up in deriveConformanceForInvertible() with a Nomina…
7ae4cc6a
Sema: We might be generic but not have parsed generic parameters
69e69a7c
IDE: Skip inverse protocols in CodeCompletionResultType's walk
778e6d5f
Distributed: Fixes for non-copyable generics
4a467173
Sema: Implement new behavior of extensions with non-copyable generics
9e247469
ClangImporter: Fixes for non-copyable generics
bbbfc62e
Sema: Introduce ResolveValueWitnessesRequest
821c3a39
Sema: Refactor ResolveImplicitMemberRequest to not call TypeChecker::…
1bf5e1be
Sema: Refactor evaluateMembersRequest() to not call TypeChecker::chec…
28f26216
Sema: Refactor computeLoweredProperties() to not call TypeChecker::ch…
528519cf
Sema: Remove TypeChecker::checkConformance()
6951cc10
AST: Remove ProtocolDecl::getRequirementSignatureAsGenericSignature()
d8f85a3b
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub