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

Merge pull request #85169 from jckarter/builtin-generic-base-class

Browse Source 
Add a BuiltinGenericType base class.
This commit is contained in:
Joe Groff
2025-10-31 12:45:58 -07:00
committed by GitHub
parent 450fe430d5 cf5f7c8637
commit e002d96ac9
11 changed files with 250 additions and 92 deletions
Download Patch File Download Diff File Expand all files Collapse all files

31
lib/Sema/CSSimplify.cpp
View File

@@ -7471,21 +7471,28 @@ ConstraintSystem::matchTypes(Type type1, Type type2, ConstraintKind kind,
case TypeKind::Error:
return getTypeMatchFailure(locator);
// BuiltinGenericType subclasses
case TypeKind::BuiltinFixedArray: {
auto *fixed1 = cast<BuiltinFixedArrayType>(desugar1);
auto *fixed2 = cast<BuiltinFixedArrayType>(desugar2);
auto *fixed1 = cast<BuiltinGenericType>(desugar1);
auto *fixed2 = cast<BuiltinGenericType>(desugar2);
if (fixed1->getBuiltinTypeKind() != fixed2->getBuiltinTypeKind()) {
return getTypeMatchFailure(locator);
}
auto result = matchTypes(fixed1->getSize(), fixed2->getSize(),
ConstraintKind::Bind, subflags,
locator.withPathElement(
LocatorPathElt::GenericArgument(0)));
if (result.isFailure())
return result;
auto result = ConstraintSystem::TypeMatchResult::success();
for (unsigned i
: indices(fixed1->getSubstitutions().getReplacementTypes())) {
result = matchTypes(fixed1->getSubstitutions().getReplacementTypes()[i],
fixed2->getSubstitutions().getReplacementTypes()[i],
ConstraintKind::Bind, subflags,
locator.withPathElement(
LocatorPathElt::GenericArgument(i)));
if (result.isFailure()) {
return result;
}
}
return matchTypes(fixed1->getElementType(), fixed2->getElementType(),
ConstraintKind::Bind, subflags,
locator.withPathElement(
LocatorPathElt::GenericArgument(0)));
return result;
}
case TypeKind::Placeholder: {