We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0822460 commit cbb2374Copy full SHA for cbb2374
lib/AST/Type.cpp
@@ -4455,11 +4455,8 @@ case TypeKind::Id:
4455
auto sig = opaque->getDecl()->getGenericSignature();
4456
auto newSubMap =
4457
SubstitutionMap::get(sig,
4458
- [&](SubstitutableType *t) -> Type {
4459
- auto index = sig->getGenericParamOrdinal(cast<GenericTypeParamType>(t));
4460
- return newSubs[index];
4461
- },
4462
- LookUpConformanceInModule(opaque->getDecl()->getModuleContext()));
+ QueryReplacementTypeArray{sig, newSubs},
+ LookUpConformanceInModule(opaque->getDecl()->getModuleContext()));
4463
return OpaqueTypeArchetypeType::get(opaque->getDecl(),
4464
opaque->getInterfaceType(),
4465
newSubMap);
0 commit comments