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

[CSApply] Coerce wrapped arguments to the wrapper generator input type in

Browse Source 
coerceCallArguments.
This commit is contained in:
Holly Borla
2021-08-04 22:11:49 -04:00
parent 598eef3048
commit facb99d38b
1 changed files with 33 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

38
lib/Sema/CSApply.cpp
View File

@@ -6017,16 +6017,44 @@ Expr *ExprRewriter::coerceCallArguments(
};
if (paramInfo.hasExternalPropertyWrapper(paramIdx)) {
auto *param = getParameterAt(callee.getDecl(), paramIdx);
auto *paramDecl = getParameterAt(callee.getDecl(), paramIdx);
auto appliedWrapper = appliedPropertyWrappers[appliedWrapperIndex++];
auto wrapperType = solution.simplifyType(appliedWrapper.wrapperType);
auto initKind = appliedWrapper.initKind;
using ValueKind = AppliedPropertyWrapperExpr::ValueKind;
ValueKind valueKind = (initKind == PropertyWrapperInitKind::ProjectedValue ?
ValueKind::ProjectedValue : ValueKind::WrappedValue);
AppliedPropertyWrapperExpr::ValueKind valueKind;
PropertyWrapperValuePlaceholderExpr *generatorArg;
auto initInfo = paramDecl->getPropertyWrapperInitializerInfo();
if (initKind == PropertyWrapperInitKind::ProjectedValue) {
valueKind = AppliedPropertyWrapperExpr::ValueKind::ProjectedValue;
generatorArg = initInfo.getProjectedValuePlaceholder();
} else {
valueKind = AppliedPropertyWrapperExpr::ValueKind::WrappedValue;
generatorArg = initInfo.getWrappedValuePlaceholder();
}
arg = AppliedPropertyWrapperExpr::create(ctx, callee, param, arg->getStartLoc(),
// Coerce the property wrapper argument type to the input type of
// the property wrapper generator function. The wrapper generator
// has the same generic signature as the enclosing function, so we
// can use substitutions from the callee.
Type generatorInputType =
generatorArg->getType().subst(callee.getSubstitutions());
auto argLoc = getArgLocator(argIdx, paramIdx, param.getParameterFlags());
if (generatorArg->isAutoClosure()) {
auto *closureType = generatorInputType->castTo<FunctionType>();
arg = coerceToType(
arg, closureType->getResult(),
argLoc.withPathElement(ConstraintLocator::AutoclosureResult));
arg = cs.buildAutoClosureExpr(arg, closureType, dc);
}
arg = coerceToType(arg, generatorInputType, argLoc);
// Wrap the argument in an applied property wrapper expr, which will
// later turn into a call to the property wrapper generator function.
arg = AppliedPropertyWrapperExpr::create(ctx, callee, paramDecl,
arg->getStartLoc(),
wrapperType, arg, valueKind);
cs.cacheExprTypes(arg);
}