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

[ConstraintSystem] Handle presence of pack expansion type variables while matching

Browse Source
This commit is contained in:
Pavel Yaskevich
2023-04-10 09:40:46 -07:00
committed by Pavel Yaskevich
parent c7ef47df0e
commit ca534ef60a
2 changed files with 23 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/Sema/ConstraintSystem.cpp
View File

@@ -3784,7 +3784,9 @@ struct TypeSimplifier {
// Flatten single-element tuples containing type variables that cannot
// bind to packs.
auto typeVar = elementType->getAs<TypeVariableType>();
if (!element.hasName() && typeVar && !typeVar->getImpl().canBindToPack()) {
if (!element.hasName() && typeVar &&
!typeVar->getImpl().canBindToPack() &&
!typeVar->getImpl().isPackExpansion()) {
return typeVar;
}
}