averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

Lower UDRE to TypeValue if it references a value generic

Browse Source
This commit is contained in:
Alejandro Alonso
2024-08-01 10:22:43 -07:00
parent 7eb93b877a
commit 0df42e9841
16 changed files with 112 additions and 82 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
lib/Sema/CSSimplify.cpp
View File

@@ -7846,20 +7846,6 @@ ConstraintSystem::matchTypes(Type type1, Type type2, ConstraintKind kind,
}
}
// It is legal to convert between '(let N).Type' and its underlying value type.
//
// E.g. '(let N).Type' => 'Int'
if (kind >= ConstraintKind::Conversion) {
if (auto metaTy = type1->getAs<MetatypeType>()) {
if (auto archetype = metaTy->getInstanceType()->getAs<ArchetypeType>()) {
if (archetype->getValueType() &&
archetype->getValueType()->isEqual(type2)) {
conversionsOrFixes.push_back(ConversionRestrictionKind::ValueGeneric);
}
}
}
}
if (kind == ConstraintKind::BindToPointerType) {
if (desugar2->isEqual(getASTContext().TheEmptyTupleType))
return getTypeMatchSuccess();
@@ -14865,16 +14851,6 @@ ConstraintSystem::simplifyRestrictedConstraintImpl(
{getConstraintLocator(locator), restriction});
return SolutionKind::Solved;
}
case ConversionRestrictionKind::ValueGeneric: {
auto metatype = type1->castTo<MetatypeType>();
auto archetype = metatype->getInstanceType()->castTo<ArchetypeType>();
addConstraint(ConstraintKind::Equal, archetype->getValueType(), type2,
getConstraintLocator(locator));
return SolutionKind::Solved;
}
}
llvm_unreachable("bad conversion restriction");