File tree Expand file tree Collapse file tree 2 files changed +5
-15
lines changed Expand file tree Collapse file tree 2 files changed +5
-15
lines changed Original file line number Diff line number Diff line change @@ -157,8 +157,6 @@ class alignas(1 << DeclAlignInBits) GenericEnvironment final
157
157
friend ArchetypeType;
158
158
friend QueryInterfaceTypeSubstitutions;
159
159
160
- Type getOrCreateArchetypeFromInterfaceType (Type depType);
161
-
162
160
// / Add a mapping of a generic parameter to a specific type (which may be
163
161
// / an archetype)
164
162
void addMapping (GenericParamKey key, Type contextType);
@@ -283,13 +281,12 @@ class alignas(1 << DeclAlignInBits) GenericEnvironment final
283
281
// / Map an interface type to a contextual type.
284
282
Type mapTypeIntoContext (Type type) const ;
285
283
286
- // / Map an interface type to a contextual type.
287
- Type mapTypeIntoContext (Type type,
288
- LookupConformanceFn lookupConformance) const ;
289
-
290
284
// / Map a generic parameter type to a contextual type.
291
285
Type mapTypeIntoContext (GenericTypeParamType *type) const ;
292
286
287
+ // / Map a type parameter type to a contextual type.
288
+ Type getOrCreateArchetypeFromInterfaceType (Type depType);
289
+
293
290
// / Map an interface type containing parameter packs to a contextual
294
291
// / type in the opened element generic context.
295
292
Type mapPackTypeIntoElementContext (Type type) const ;
Original file line number Diff line number Diff line change @@ -507,21 +507,14 @@ Type QueryInterfaceTypeSubstitutions::operator()(SubstitutableType *type) const{
507
507
return Type ();
508
508
}
509
509
510
- Type GenericEnvironment::mapTypeIntoContext (
511
- Type type,
512
- LookupConformanceFn lookupConformance) const {
510
+ Type GenericEnvironment::mapTypeIntoContext (Type type) const {
513
511
assert (!type->hasPrimaryArchetype () && " already have a contextual type" );
514
512
515
513
Type result = type.subst (QueryInterfaceTypeSubstitutions (this ),
516
- lookupConformance ,
514
+ LookUpConformanceInModule () ,
517
515
SubstFlags::PreservePackExpansionLevel);
518
516
ASSERT (getKind () != Kind::Primary || !result->hasTypeParameter ());
519
517
return result;
520
-
521
- }
522
-
523
- Type GenericEnvironment::mapTypeIntoContext (Type type) const {
524
- return mapTypeIntoContext (type, LookUpConformanceInModule ());
525
518
}
526
519
527
520
Type GenericEnvironment::mapTypeIntoContext (GenericTypeParamType *type) const {
You can’t perform that action at this time.
0 commit comments