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.
2 parents acd8419 + 207d6a9 commit decff7cCopy full SHA for decff7c
lib/SILOptimizer/SILCombiner/SILCombinerApplyVisitors.cpp
@@ -695,8 +695,7 @@ SILCombiner::buildConcreteOpenedExistentialInfoFromSoleConformingType(
695
if (auto *OEA = dyn_cast<OpenExistentialAddrInst>(OAI.OpenedArchetypeValue)) {
696
// Bail if ConcreteSILType is not the same SILType as the type stored in the
697
// existential after maximal reabstraction.
698
- auto archetype = OpenedArchetypeType::getAny(SoleCEI.ExistentialType);
699
- Lowering::AbstractionPattern abstractionPattern(archetype);
+ auto abstractionPattern = Lowering::AbstractionPattern::getOpaque();
700
auto abstractTy = M.Types.getLoweredType(abstractionPattern, ConcreteType);
701
if (abstractTy != concreteSILType)
702
return None;
0 commit comments