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

[Abstraction pattern] Eliminate unnecessary assertion for typed throws

Browse Source 
Abstraction patterns can handle conversions involving typed throws
nowdays. Remove the assertion, fixing rdar://121617307.
This commit is contained in:
Doug Gregor
2024-01-29 12:04:19 -08:00
parent 77f18eef4b
commit 2cef4b97b0
2 changed files with 10 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/SIL/IR/AbstractionPattern.cpp
View File

@@ -1270,11 +1270,6 @@ AbstractionPattern::getFunctionThrownErrorType(
if (!substErrorType)
return llvm::None;
if (!(*substErrorType)->isEqual(ctx.getErrorExistentialType())) {
llvm::errs() << "unsupported reabstraction\n";
abort();
}
return std::make_pair(AbstractionPattern(*substErrorType),
(*substErrorType)->getCanonicalType());
}