swift
Enforce that we only see substituted requirements in checkRequirements()
#70968
Merged
Merged
Enforce that we only see substituted requirements in checkRequirements() #70968
slavapestov
merged
14 commits into
swiftlang:main
from
slavapestov:check-requirement-invariant
Sema: Replace a couple of TypeChecker::getProtocol() calls with ASTCo…
d7ce5172
Sema: Replace a couple of TypeChecker::getProtocol() calls with getKn…
fc9f8252
Sema: Don't call checkConformance() on a type that may contain type v…
78551fa9
Sema: Simplify TypeChecker::getDefaultType()
dbfe61a8
IDE: Another fix for isMemberDeclAppliedInternal()
1ae370a5
IDE: Tidy up some GenericEnvironment usages
e39dd6a5
Sema: General cleanup for lookupVisibleMemberDecls()
0a60e7d2
Sema: FailureDiagnostic::resolveType() wraps GenericParameterTypes in…
e894d4af
Sema: Assert precondition in TypeChecker::performTypoCorrection()
9c30d07a
SIL: Don't call checkConformance() on an interface type
485135bb
Sema: Map raw type into context before checking conditional conformance
de57a744
slavapestov
changed the title
Sema: Change a few checkConformance() calls to lookupConformance()
b59353bc
AST: Split off ConformanceLookup.cpp from Module.cpp
f9e7181d
AST: Assert if unsubstituted requirements passed in to checkRequireme…
6adab3c6
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub