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

[Compile Time Constant Extraction] Map types with archetypes out of context, before mangling them for printing.

Browse Source 
Matching logic in the ASTPrinter. Otherwise we attempt to mangle types with archetypes in them, which cannot be done, and causes the compiler to crash.

Resolves rdar://113039215
This commit is contained in:
Artem Chikin
2023-08-02 16:14:40 -07:00
parent 24cdf71ca4
commit 8fb4294507
2 changed files with 40 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/ConstExtract/ConstExtract.cpp
View File

@@ -85,7 +85,10 @@ std::string toFullyQualifiedProtocolNameString(const swift::ProtocolDecl &Protoc
}
std::string toMangledTypeNameString(const swift::Type &Type) {
return Mangle::ASTMangler().mangleTypeWithoutPrefix(Type->getCanonicalType());
auto PrintingType = Type;
if (Type->hasArchetype())
PrintingType = Type->mapTypeOutOfContext();
return Mangle::ASTMangler().mangleTypeWithoutPrefix(PrintingType->getCanonicalType());
}
} // namespace

36
test/ConstExtraction/ExtractArchetype.swift Normal file
View File

@@ -0,0 +1,36 @@
// RUN: %empty-directory(%t)
// RUN: echo "[MyProto]" > %t/protocols.json
// RUN: %target-swift-frontend -typecheck -emit-const-values-path %t/ExtractEnums.swiftconstvalues -const-gather-protocols-file %t/protocols.json -primary-file %s
// RUN: cat %t/ExtractEnums.swiftconstvalues 2>&1 | %FileCheck %s
protocol MyProto {}
public struct Foo {
init(bar: Any) {
}
}
public struct ArchetypalConformance<T>: MyProto {
let baz: Foo = Foo(bar: T.self)
public init() {}
}
// CHECK: [
// CHECK-NEXT: {
// CHECK-NEXT: "typeName": "ExtractArchetype.ArchetypalConformance<T>"
// CHECK: "valueKind": "InitCall",
// CHECK-NEXT: "value": {
// CHECK-NEXT: "type": "ExtractArchetype.Foo",
// CHECK-NEXT: "arguments": [
// CHECK-NEXT: {
// CHECK-NEXT: "label": "bar",
// CHECK-NEXT: "type": "Any",
// CHECK-NEXT: "valueKind": "Type",
// CHECK-NEXT: "value": {
// CHECK-NEXT: "type": "T",
// CHECK-NEXT: "mangledName": "x"
// CHECK-NEXT: }
// CHECK-NEXT: }
// CHECK-NEXT: ]
// CHECK-NEXT: }