Skip to content

Commit 1b1eef7

Browse files
authored
Merge pull request #17445 from dcci/mynongenericsignaturepain
2 parents 2107bdf + f657cfb commit 1b1eef7

File tree

3 files changed

+20
-3
lines changed

3 files changed

+20
-3
lines changed

lib/IDE/TypeReconstruction.cpp

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -786,9 +786,10 @@ static void VisitNodeGenericTypealias(ASTContext *ast,
786786
cast<TypeAliasDecl>(generic_type_result._decls.front());
787787
GenericSignature *signature = genericTypeAlias->getGenericSignature();
788788
// FIXME: handle conformances.
789-
SubstitutionMap subMap =
790-
SubstitutionMap::get(signature, template_types_result._types,
791-
ArrayRef<ProtocolConformanceRef>({}));
789+
SubstitutionMap subMap;
790+
if (signature)
791+
subMap = SubstitutionMap::get(signature, template_types_result._types,
792+
ArrayRef<ProtocolConformanceRef>({}));
792793
Type parentType;
793794
if (auto nominal = genericTypeAlias->getDeclContext()
794795
->getAsNominalTypeOrNominalTypeExtensionContext()) {

test/DebugInfo/DumpTypeFromMangledName.swift

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,3 +39,18 @@ func main() -> Int {
3939
}
4040

4141
let _ = main()
42+
43+
public struct tinky : Equatable, Hashable {
44+
internal let _value: Int
45+
46+
public var hashValue: Int {
47+
return 0
48+
}
49+
}
50+
51+
public func == (lhs: tinky, rhs: tinky) -> Bool {
52+
return true
53+
}
54+
55+
public typealias patatino = UnsafePointer<tinky>
56+
var local_thread_one: patatino?

test/DebugInfo/Inputs/type-reconstr-names.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,3 +10,4 @@ $S13EyeCandySwift21_previousUniqueNumber33_ADC08935D64EA4F796440E7335798735LLs6U
1010
$SSayypXpG ---> Array<Any.Type>
1111
$S12EyeCandyCore11XPCListenerC14messageHandleryyAA13XPCConnectionV_AA10XPCMessageVxtcvpfiyAF_AHxtcfU_TA.4 ---> Can't resolve type of $S12EyeCandyCore11XPCListenerC14messageHandleryyAA13XPCConnectionV_AA10XPCMessageVxtcvpfiyAF_AHxtcfU_TA.4
1212
$Ss10CollectionP7ElementQa ---> Can't resolve type of $Ss10CollectionP7ElementQa
13+
$S12TypeReconstr8patatinoayAA5tinkyVGSgD ---> Optional<patatino>

0 commit comments

Comments
 (0)