File tree Expand file tree Collapse file tree 4 files changed +14
-1
lines changed Expand file tree Collapse file tree 4 files changed +14
-1
lines changed Original file line number Diff line number Diff line change @@ -235,6 +235,7 @@ class TargetGenericRequirementDescriptor {
235
235
case GenericRequirementKind::Protocol:
236
236
case GenericRequirementKind::SameConformance:
237
237
case GenericRequirementKind::SameType:
238
+ case GenericRequirementKind::SameShape:
238
239
return true ;
239
240
}
240
241
Original file line number Diff line number Diff line change @@ -1890,7 +1890,9 @@ enum class GenericRequirementKind : uint8_t {
1890
1890
// / A "same-conformance" requirement, implied by a same-type or base-class
1891
1891
// / constraint that binds a parameter with protocol requirements.
1892
1892
SameConformance = 3 ,
1893
- // / A layout constraint.
1893
+ // / A same-shape requirement between generic parameter packs.
1894
+ SameShape = 4 ,
1895
+ // / A layout requirement.
1894
1896
Layout = 0x1F ,
1895
1897
};
1896
1898
Original file line number Diff line number Diff line change @@ -1244,6 +1244,9 @@ class MetadataReader {
1244
1244
case GenericRequirementKind::Layout:
1245
1245
return TypeLookupError (
1246
1246
" Unexpected layout requirement in runtime generic signature" );
1247
+ case GenericRequirementKind::SameShape:
1248
+ return TypeLookupError (
1249
+ " Unexpected same-shape requirement in runtime generic signature" );
1247
1250
}
1248
1251
}
1249
1252
@@ -2771,6 +2774,9 @@ class MetadataReader {
2771
2774
}
2772
2775
break ;
2773
2776
}
2777
+
2778
+ case GenericRequirementKind::SameShape:
2779
+ llvm_unreachable (" Implement me" );
2774
2780
}
2775
2781
}
2776
2782
Original file line number Diff line number Diff line change @@ -1387,6 +1387,10 @@ llvm::Optional<TypeLookupError> swift::_checkGenericRequirements(
1387
1387
// FIXME: Implement this check.
1388
1388
continue ;
1389
1389
}
1390
+
1391
+ case GenericRequirementKind::SameShape: {
1392
+ llvm_unreachable (" Implement me" );
1393
+ }
1390
1394
}
1391
1395
1392
1396
// Unknown generic requirement kind.
You can’t perform that action at this time.
0 commit comments