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

NCGenerics: fix !hasTypeVariable() assert

Browse Source
This commit is contained in:
Kavon Farvardin
2024-02-06 13:53:02 -08:00
parent 1c2dbf4498
commit 056493b079
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
lib/Sema/CSSimplify.cpp
View File

@@ -11908,9 +11908,10 @@ ConstraintSystem::simplifyBridgingConstraint(Type type1,
if (type1->isTypeVariableOrMember() || type2->isTypeVariableOrMember())
return formUnsolved();
// Noncopyable types can't be involved in bridging conversions since a bridged
// type assumes the ability to copy.
if (type1->isNoncopyable()) {
// Noncopyable & Nonescapable types can't be involved in bridging conversions
// since a bridged type assumes such abilities are granted.
if (!type1->hasTypeVariable()
&& (type1->isNoncopyable() || !type1->isEscapable())) {
return SolutionKind::Error;
}