averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

AST: Generalize GenericSignatureImpl::getUpperBound()

Browse Source 
Handle inverses, and add a couple of flags (yuck!) to allow its
usage in diagnostics and code completion.
This commit is contained in:
Slava Pestov
2024-02-01 13:58:16 -05:00
parent 57b768db8c
commit 8092f18772
4 changed files with 80 additions and 32 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Sema/ConstraintSystem.cpp
View File

@@ -2343,7 +2343,7 @@ static Type typeEraseExistentialSelfReferences(Type refTy, Type baseTy,
if (paramTy->is<GenericTypeParamType>()) {
erasedTy = baseTy;
} else {
erasedTy = existentialSig->getUpperBound(paramTy);
erasedTy = existentialSig->getExistentialType(paramTy);
}
if (metatypeDepth) {