AST: Rename mapTypeIntoContext() => mapTypeIntoEnvironment(), mapTypeOutOfContext() => mapTypeOutOfEnvironment()

This commit is contained in:
Slava Pestov
2025-11-12 13:26:06 -05:00
parent e2287b6312
commit 819738c83e
179 changed files with 674 additions and 674 deletions

View File

@@ -141,7 +141,7 @@ void ExistentialSpecializerCloner::cloneArguments(
// Clone arguments that are not rewritten.
auto Ty = params[ArgDesc.Index].getArgumentType(
M, NewFTy, NewF.getTypeExpansionContext());
auto LoweredTy = NewF.getLoweredType(NewF.mapTypeIntoContext(Ty));
auto LoweredTy = NewF.getLoweredType(NewF.mapTypeIntoEnvironment(Ty));
auto MappedTy =
LoweredTy.getCategoryType(ArgDesc.Arg->getType().getCategory());
auto *NewArg =
@@ -153,7 +153,7 @@ void ExistentialSpecializerCloner::cloneArguments(
// Create the generic argument.
GenericTypeParamType *GenericParam = iter->second;
SILType GenericSILType =
NewF.getLoweredType(NewF.mapTypeIntoContext(GenericParam));
NewF.getLoweredType(NewF.mapTypeIntoEnvironment(GenericParam));
GenericSILType = GenericSILType.getCategoryType(
ArgDesc.Arg->getType().getCategory());
auto *NewArg = ClonedEntryBB->createFunctionArgument(
@@ -637,7 +637,7 @@ void ExistentialTransform::createExistentialSpecializedFunction() {
SubstitutionMap Subs = SubstitutionMap::get(
NewFGenericSig,
[&](SubstitutableType *type) -> Type {
return NewFGenericEnv->mapTypeIntoContext(type);
return NewFGenericEnv->mapTypeIntoEnvironment(type);
},
LookUpConformanceInModule());
ExistentialSpecializerCloner cloner(F, NewF, Subs, ArgumentDescList,