averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-14 20:36:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

[GenericSigBuilder] Archetypes no longer make it to this path. NFC

Browse Source
This commit is contained in:
Doug Gregor
2017-02-23 13:43:18 -08:00
parent e71788d7a6
commit cbbf415435
1 changed files with 27 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/AST/GenericSignatureBuilder.cpp
View File

@@ -1916,7 +1916,6 @@ bool GenericSignatureBuilder::addSameTypeRequirementToConcrete(
// Make sure the concrete type fulfills the requirements on the archetype. // Make sure the concrete type fulfills the requirements on the archetype.
// FIXME: Move later... // FIXME: Move later...
DenseMap<ProtocolDecl *, ProtocolConformanceRef> conformances; DenseMap<ProtocolDecl *, ProtocolConformanceRef> conformances;
if (!Concrete->is<ArchetypeType>()) {
CanType depTy = rep->getDependentType({ }, /*allowUnresolved=*/true) CanType depTy = rep->getDependentType({ }, /*allowUnresolved=*/true)
->getCanonicalType(); ->getCanonicalType();
for (auto &conforms : rep->getConformsTo()) { for (auto &conforms : rep->getConformsTo()) {
@@ -1945,7 +1944,6 @@ bool GenericSignatureBuilder::addSameTypeRequirementToConcrete(
: nullptr); : nullptr);
updateRequirementSource(conforms.second, concreteSource); updateRequirementSource(conforms.second, concreteSource);
} }
}
// Record the requirement. // Record the requirement.
rep->ConcreteType = Concrete; rep->ConcreteType = Concrete;