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

Move resolving param type to CSApply

Browse Source
This commit is contained in:
Alejandro Alonso
2025-04-14 11:03:45 -07:00
parent ae355007fc
commit 79a51dfcc1
3 changed files with 13 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
lib/Sema/CSApply.cpp
View File

@@ -3247,6 +3247,18 @@ namespace {
auto toType = simplifyType(cs.getType(expr));
ASSERT(toType->isEqual(expr->getParamDecl()->getValueType()));
cs.setType(expr, toType);
auto declRefRepr = cast<DeclRefTypeRepr>(expr->getRepr());
auto resolvedTy =
TypeResolution::resolveContextualType(declRefRepr, cs.DC,
TypeResolverContext::InExpression,
nullptr, nullptr, nullptr);
if (!resolvedTy || resolvedTy->hasError())
return nullptr;
expr->setParamType(resolvedTy);
return expr;
}

9
lib/Sema/CSGen.cpp
View File

@@ -1723,15 +1723,6 @@ namespace {
}
Type visitTypeValueExpr(TypeValueExpr *E) {
auto declRefRepr = cast<DeclRefTypeRepr>(E->getRepr());
auto resolvedTy = resolveTypeReferenceInExpression(declRefRepr,
TypeResolverContext::InExpression,
CS.getConstraintLocator(E));
if (!resolvedTy || resolvedTy->hasError())
return Type();
E->setParamType(resolvedTy);
return E->getParamDecl()->getValueType();
}