@@ -154,7 +154,7 @@ case TypeKind::Id:
154
154
return *result;
155
155
156
156
auto subMap = opaque->getSubstitutions ();
157
- auto newSubMap = asDerived ().transformSubMap (subMap);
157
+ auto newSubMap = asDerived ().transformSubstitutionMap (subMap);
158
158
if (newSubMap == subMap)
159
159
return t;
160
160
if (!newSubMap)
@@ -177,7 +177,7 @@ case TypeKind::Id:
177
177
auto subMap = env->getOuterSubstitutions ();
178
178
auto uuid = env->getOpenedExistentialUUID ();
179
179
180
- auto newSubMap = asDerived ().transformSubMap (subMap);
180
+ auto newSubMap = asDerived ().transformSubstitutionMap (subMap);
181
181
if (newSubMap == subMap)
182
182
return t;
183
183
if (!newSubMap)
@@ -259,7 +259,7 @@ case TypeKind::Id:
259
259
}
260
260
261
261
auto oldSubMap = boxTy->getSubstitutions ();
262
- auto newSubMap = asDerived ().transformSubMap (oldSubMap);
262
+ auto newSubMap = asDerived ().transformSubstitutionMap (oldSubMap);
263
263
if (oldSubMap && !newSubMap)
264
264
return Type ();
265
265
changed |= (oldSubMap != newSubMap);
@@ -281,7 +281,7 @@ case TypeKind::Id:
281
281
return fnTy;
282
282
283
283
auto updateSubs = [&](SubstitutionMap &subs) -> bool {
284
- auto newSubs = asDerived ().transformSubMap (subs);
284
+ auto newSubs = asDerived ().transformSubstitutionMap (subs);
285
285
if (subs && !newSubs)
286
286
return false ;
287
287
if (subs == newSubs)
@@ -1052,7 +1052,7 @@ case TypeKind::Id:
1052
1052
1053
1053
// If original was non-empty and transformed is empty, we're
1054
1054
// signaling failure, that is, a Type() return from doIt().
1055
- SubstitutionMap transformSubMap (SubstitutionMap subs) {
1055
+ SubstitutionMap transformSubstitutionMap (SubstitutionMap subs) {
1056
1056
if (subs.empty ())
1057
1057
return subs;
1058
1058
0 commit comments