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

[Typed throws] Type system support for typed throws.

Browse Source 
Add the thrown type into the AST representation of function types,
mapping from function type representations and declarations into the
appropriate thrown type. Add tests for serialization, printing, and
basic equivalence of function types that have thrown errors.
This commit is contained in:
Doug Gregor
2023-09-18 22:29:56 -07:00
parent ef642098f2
commit 51eed19d4b
34 changed files with 526 additions and 117 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/Serialization/Serialization.cpp
View File

@@ -5344,6 +5344,7 @@ public:
fnTy->isSendable(),
fnTy->isAsync(),
fnTy->isThrowing(),
S.addTypeRef(fnTy->getThrownError()),
getRawStableDifferentiabilityKind(fnTy->getDifferentiabilityKind()),
globalActor);
@@ -5359,6 +5360,7 @@ public:
S.addTypeRef(fnTy->getResult()),
getRawStableFunctionTypeRepresentation(fnTy->getRepresentation()),
fnTy->isSendable(), fnTy->isAsync(), fnTy->isThrowing(),
S.addTypeRef(fnTy->getThrownError()),
getRawStableDifferentiabilityKind(fnTy->getDifferentiabilityKind()),
S.addTypeRef(fnTy->getGlobalActor()),
S.addGenericSignatureRef(genericSig));