Skip to content

Commit df885d0

Browse files
beccadaxbeccadax
committed
[ASTDumper] Quote most fields
Except for simple keyword fields and a few other things like capture lists, we now put values in double quotes. We are also correctly escaping these values using functionality built into llvm::raw_ostream. As part of this change, printField()’s value must now be something that can be handled by a getDumpString() overload. Arbitrary strings should go through printFieldQuoted() or, in a pinch, printFieldRaw().
1 parent d7c72fd commit df885d0

39 files changed

+465
-408
lines changed

‎lib/AST/ASTDumper.cpp

Lines changed: 192 additions & 134 deletions
Large diffs are not rendered by default.

‎test/AutoDiff/Parse/differentiable_func_type.swift

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -3,36 +3,36 @@
33
// expected-warning @+1 {{'@differentiable' has been renamed to '@differentiable(reverse)'}} {{23-23=(reverse)}}
44
let a: @differentiable (Float) -> Float // okay
55
// CHECK: (pattern_named "a"
6-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
6+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
77

88
let b: @differentiable(reverse) (Float) -> Float // okay
99
// CHECK: (pattern_named "b"
10-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
10+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
1111

1212
let c: @differentiable(reverse) (Float, @noDerivative Float) -> Float // okay
1313
// CHECK: (pattern_named "c"
14-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
14+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
1515
// CHECK-NEXT: (type_function
1616
// CHECK-NEXT: (type_tuple
17-
// CHECK-NEXT: (type_ident id='Float' bind=<none>)
18-
// CHECK-NEXT: (type_attributed attrs=@noDerivative
19-
// CHECK-NEXT: (type_ident id='Float' bind=<none>))
20-
// CHECK-NEXT: (type_ident id='Float' bind=<none>))))
17+
// CHECK-NEXT: (type_ident id="Float" unbound)
18+
// CHECK-NEXT: (type_attributed attrs="@noDerivative "
19+
// CHECK-NEXT: (type_ident id="Float" unbound))
20+
// CHECK-NEXT: (type_ident id="Float" unbound))))
2121

2222
let d: @differentiable(reverse) (Float) throws -> Float // okay
2323
// CHECK: (pattern_named "d"
24-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
24+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
2525

2626
let e: @differentiable(reverse) (Float) throws -> Float // okay
2727
// CHECK: (pattern_named "e"
28-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
28+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
2929

3030
// Generic type test.
3131
struct A<T> {
3232
func foo() {
3333
let local: @differentiable(reverse) (T) -> T // okay
3434
// CHECK: (pattern_named "local"
35-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
35+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
3636
}
3737
}
3838

@@ -50,28 +50,28 @@ struct B {
5050
struct linear {}
5151
let propertyB1: @differentiable(reverse) (linear) -> Float // okay
5252
// CHECK: (pattern_named "propertyB1"
53-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
53+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
5454

5555
let propertyB2: @differentiable(reverse) (linear) -> linear // okay
5656
// CHECK: (pattern_named "propertyB2"
57-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
57+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
5858

5959
let propertyB3: @differentiable(reverse) (linear, linear) -> linear // okay
6060
// CHECK: (pattern_named "propertyB3"
61-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
61+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
6262

6363
let propertyB4: @differentiable(reverse) (linear, Float) -> linear // okay
6464
// CHECK: (pattern_named "propertyB4"
65-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
65+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
6666

6767
let propertyB5: @differentiable(reverse) (Float, linear) -> linear // okay
6868
// CHECK: (pattern_named "propertyB5"
69-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
69+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
7070

7171
let propertyB6: @differentiable(reverse) (linear, linear, Float, linear)
7272
-> Float // okay
7373
// CHECK: (pattern_named "propertyB6"
74-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
74+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
7575

7676
// expected-error @+1 {{expected ')' in '@differentiable' attribute}}
7777
let propertyB7: @differentiable(reverse (linear) -> Float
@@ -82,20 +82,20 @@ struct C {
8282
typealias reverse = (C) -> C
8383
let propertyC1: @differentiable(reverse) (reverse) -> Float // okay
8484
// CHECK: (pattern_named "propertyC1"
85-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
85+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
8686

8787
let propertyC2: @differentiable(reverse) (reverse) -> reverse // okay
8888
// CHECK: (pattern_named "propertyC2"
89-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
89+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
9090

9191
let propertyC3: @differentiable(reverse) reverse // okay
9292
// CHECK: (pattern_named "propertyC3"
93-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
93+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) "
9494

9595
let propertyC4: reverse // okay
9696
// CHECK: (pattern_named "propertyC4"
9797

9898
let propertyC6: @differentiable(reverse) @convention(c) reverse // okay
9999
// CHECK: (pattern_named "propertyC6"
100-
// CHECK-NEXT: (type_attributed attrs=@differentiable(reverse)
100+
// CHECK-NEXT: (type_attributed attrs="@differentiable(reverse) @convention(c) "
101101
}

‎test/Concurrency/async_main_resolution.swift

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -62,13 +62,13 @@ extension MainProtocol {
6262
@main struct MyMain : AsyncMainProtocol {}
6363
#endif
6464

65-
// CHECK-IS-SYNC-LABEL: "MyMain" interface type='MyMain.Type'
66-
// CHECK-IS-SYNC: (func_decl implicit "$main()" interface type='(MyMain.Type) -> () -> ()'
67-
// CHECK-IS-SYNC: (declref_expr implicit type='(MyMain.Type) -> () -> ()'
65+
// CHECK-IS-SYNC-LABEL: "MyMain" interface type="MyMain.Type"
66+
// CHECK-IS-SYNC: (func_decl implicit "$main()" interface type="(MyMain.Type) -> () -> ()"
67+
// CHECK-IS-SYNC: (declref_expr implicit type="(MyMain.Type) -> () -> ()"
6868

69-
// CHECK-IS-ASYNC-LABEL: "MyMain" interface type='MyMain.Type'
70-
// CHECK-IS-ASYNC: (func_decl implicit "$main()" interface type='(MyMain.Type) -> () async -> ()'
71-
// CHECK-IS-ASYNC: (declref_expr implicit type='(MyMain.Type) -> () async -> ()'
69+
// CHECK-IS-ASYNC-LABEL: "MyMain" interface type="MyMain.Type"
70+
// CHECK-IS-ASYNC: (func_decl implicit "$main()" interface type="(MyMain.Type) -> () async -> ()"
71+
// CHECK-IS-ASYNC: (declref_expr implicit type="(MyMain.Type) -> () async -> ()"
7272

7373
// CHECK-IS-ERROR1: error: 'MyMain' is annotated with @main and must provide a main static function of type {{\(\) -> Void or \(\) throws -> Void|\(\) -> Void, \(\) throws -> Void, \(\) async -> Void, or \(\) async throws -> Void}}
7474
// CHECK-IS-ERROR2: error: ambiguous use of 'main'

‎test/Concurrency/closure_isolation.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ extension MyActor {
2828

2929
// CHECK: acceptAsyncClosure
3030
// CHECK: closure_expr
31-
// CHECK-SAME: actor_isolated=closure_isolation.(file).MyActor extension.testClosureIsolation().self
31+
// CHECK-SAME: actor_isolated="closure_isolation.(file).MyActor extension.testClosureIsolation().self@
3232
acceptAsyncClosure { await method() }
3333

3434
// CHECK: acceptAsyncClosure
@@ -63,12 +63,12 @@ func someAsyncFunc() async { }
6363
@SomeGlobalActor func someGlobalActorFunc() async {
6464
// CHECK: acceptAsyncClosure
6565
// CHECK: closure_expr
66-
// CHECK-SAME: global_actor_isolated=SomeGlobalActor
66+
// CHECK-SAME: global_actor_isolated="SomeGlobalActor"
6767
acceptAsyncClosure { await someAsyncFunc() }
6868

6969
// CHECK: acceptAsyncClosure
7070
// CHECK: closure_expr
71-
// CHECK-SAME: global_actor_isolated=SomeGlobalActor
71+
// CHECK-SAME: global_actor_isolated="SomeGlobalActor"
7272
acceptAsyncClosure { () async in print("hello") }
7373

7474
// CHECK: acceptEscapingAsyncClosure

‎test/Concurrency/where_clause_main_resolution.swift

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -22,22 +22,22 @@ protocol App {
2222
// CHECK: (extension_decl range={{\[}}[[SOURCE_FILE]]:{{[0-9]+}}:{{[0-9]+}} - line:{{[0-9]+}}:{{[0-9]+}}{{\]}}
2323
// CHECK-NOT: where
2424
// CHECK-NEXT: (func_decl range={{\[}}[[SOURCE_FILE]]:[[DEFAULT_ASYNCHRONOUS_MAIN_LINE:[0-9]+]]:{{[0-9]+}} - line:{{[0-9]+}}:{{[0-9]+}}{{\]}} "main()"
25-
// CHECK-SAME: interface type='<Self where Self : App> (Self.Type) -> () async -> ()'
25+
// CHECK-SAME: interface type="<Self where Self : App> (Self.Type) -> () async -> ()"
2626

2727
extension App where Configuration == Config1 {
28-
// CHECK-CONFIG1: (func_decl implicit "$main()" interface type='(MainType.Type) -> () -> ()'
28+
// CHECK-CONFIG1: (func_decl implicit "$main()" interface type="(MainType.Type) -> () -> ()"
2929
// CHECK-CONFIG1: [[SOURCE_FILE]]:[[# @LINE+1 ]]
3030
static func main() { }
3131
}
3232

3333
extension App where Configuration == Config2 {
34-
// CHECK-CONFIG2: (func_decl implicit "$main()" interface type='(MainType.Type) -> () async -> ()'
34+
// CHECK-CONFIG2: (func_decl implicit "$main()" interface type="(MainType.Type) -> () async -> ()"
3535
// CHECK-CONFIG2: [[SOURCE_FILE]]:[[# @LINE+1 ]]
3636
static func main() async { }
3737
}
3838

3939
extension App where Configuration == Config3 {
40-
// CHECK-CONFIG3-ASYNC: (func_decl implicit "$main()" interface type='(MainType.Type) -> () async -> ()'
40+
// CHECK-CONFIG3-ASYNC: (func_decl implicit "$main()" interface type="(MainType.Type) -> () async -> ()"
4141
// CHECK-CONFIG3-ASYNC: [[SOURCE_FILE]]:[[DEFAULT_ASYNCHRONOUS_MAIN_LINE]]
4242
}
4343

‎test/Constraints/init_literal_via_coercion.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5,15 +5,15 @@
55
// `0 as <#Type#>` should get literal bound early via equality constraint.
66

77
// CHECK: ---Constraint solving at [{{.*}}:12:1 - line:12:13]---
8-
// CHECK: (integer_literal_expr type='[[LITERAL_VAR:\$T[0-9]+]]' {{.*}}
8+
// CHECK: (integer_literal_expr type="[[LITERAL_VAR:\$T[0-9]+]]" {{.*}}
99
// CHECK: Type Variables:
1010
// CHECK: [[LITERAL_VAR]] as UInt32 {{.*}}
1111
// CHECK-NOT: disjunction (remembered) \[\[locator@{{.*}} [Coerce@{{.*}}\]\]]:
1212
_ = UInt32(0)
1313

1414
// CHECK: ---Constraint solving at [{{.*}}22:1 - line:22:13]---
15-
// CHECK: (coerce_expr implicit type='[[CAST_TYPE:\$T[0-9]+]]' {{.*}}
16-
// CHECK-NEXT: (nil_literal_expr type='[[LITERAL_VAR:\$T[0-9]+]]' {{.*}}
15+
// CHECK: (coerce_expr implicit type="[[CAST_TYPE:\$T[0-9]+]]" {{.*}}
16+
// CHECK-NEXT: (nil_literal_expr type="[[LITERAL_VAR:\$T[0-9]+]]" {{.*}}
1717
// CHECK: Type Variables:
1818
// CHECK: [[LITERAL_VAR]] as Int? {{.*}}
1919
// CHECK: disjunction (remembered) {{.*}}

‎test/Constraints/invalid_decl_ref.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,6 @@
44

55
import Foundation
66

7-
// CHECK: declref_expr type='module<SomeModule>'
8-
// CHECK-NEXT: type_expr type='Data.Type'
7+
// CHECK: declref_expr type="module<SomeModule>"
8+
// CHECK-NEXT: type_expr type="Data.Type"
99
let type = SomeModule.Data.self

‎test/Constraints/issue-58019.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,9 +3,9 @@
33
// https://github.com/apple/swift/issues/58019
44

55
func fetch() {
6-
// CHECK: open_existential_expr implicit type='Void'
7-
// CHECK: opaque_value_expr implicit type='any MyError'
8-
// CHECK-NOT: type='SryMap<$T{{.*}}>.Failure'
6+
// CHECK: open_existential_expr implicit type="Void"
7+
// CHECK: opaque_value_expr implicit type="any MyError"
8+
// CHECK-NOT: type="SryMap<$T{{.*}}>.Failure"
99
sryMap { return "" }
1010
.napError{ $0.abc() }
1111
}

‎test/Constraints/issue-60806.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,8 @@ enum NonBarBaz {
1818

1919
let _: Foo<Bar> = Foo<Bar> { (a: Bar) -> Void in
2020
switch a {
21-
// CHECK: (pattern_is type='any Bar' cast_kind=value_cast cast_to=Baz
22-
// CHECK-NEXT: (pattern_enum_element type='Baz' element=Baz.someCase
21+
// CHECK: (pattern_is type="any Bar" cast_kind=value_cast cast_to="Baz"
22+
// CHECK-NEXT: (pattern_enum_element type="Baz" element="Baz.someCase"
2323
case let .someCase(value) as Baz:
2424
print(value)
2525
// expected-warning@-1 {{cast from 'any Bar' to unrelated type 'NonBarBaz' always fails}}

‎test/Constraints/nil-coalescing-favoring.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,9 @@ struct B {
66

77
struct A {
88
init(_ other: B) {}
9-
// CHECK: constructor_decl{{.*}}interface type='(A.Type) -> (B?) -> A'
9+
// CHECK: constructor_decl{{.*}}interface type="(A.Type) -> (B?) -> A"
1010
init(_ other: B?) {
11-
// CHECK: dot_syntax_call_expr type='(B) -> A'
11+
// CHECK: dot_syntax_call_expr type="(B) -> A"
1212
self.init(other ?? ._none)
1313
}
1414
}

‎test/Constraints/result_builder_conjunction_selection.swift

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ do {
3232
func test<T, U>(_: T, @Builder _: () -> some P<U>) {}
3333

3434
// CHECK: ---Initial constraints for the given expression---
35-
// CHECK: (integer_literal_expr type='[[LITERAL_VAR:\$T[0-9]+]]' {{.*}}
35+
// CHECK: (integer_literal_expr type="[[LITERAL_VAR:\$T[0-9]+]]" {{.*}}
3636
// CHECK: (attempting type variable binding [[CLOSURE:\$T[0-9]+]] := () -> {{.*}}
3737
// CHECK-NOT: (attempting type variable binding [[LITERAL_VAR]] := {{.*}}
3838
// CHECK: (attempting conjunction element pattern binding element @ 0
@@ -48,7 +48,7 @@ do {
4848
func test<T, U>(_: T, @Builder _: (T) -> some P<U>) {}
4949

5050
// CHECK: ---Initial constraints for the given expression---
51-
// CHECK: (integer_literal_expr type='[[LITERAL_VAR:\$T[0-9]+]]' {{.*}}
51+
// CHECK: (integer_literal_expr type="[[LITERAL_VAR:\$T[0-9]+]]" {{.*}}
5252
// CHECK: (attempting type variable binding [[LITERAL_VAR]] := Int
5353
// CHECK: (attempting conjunction element pattern binding element @ 0
5454
test(42) { v in

‎test/Constraints/result_builder_switch_with_vars.swift

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -49,39 +49,39 @@ func tuplify<T>(@TupleBuilder body: (E) throws -> T) rethrows {
4949
tuplify {
5050
switch $0 {
5151
// CHECK: (case_body_variables
52-
// CHECK-NEXT: (var_decl implicit {{.*}} "a" interface type='String' let readImpl=stored immutable)
53-
// CHECK-NEXT: (var_decl implicit {{.*}} "b" interface type='Int' let readImpl=stored immutable)
52+
// CHECK-NEXT: (var_decl implicit {{.*}} "a" interface type="String" let readImpl=stored immutable)
53+
// CHECK-NEXT: (var_decl implicit {{.*}} "b" interface type="Int" let readImpl=stored immutable)
5454
case let .test(a, b):
5555
a
5656
b
5757
}
5858

5959
switch $0 {
6060
// CHECK: (case_body_variables
61-
// CHECK-NEXT: (var_decl implicit {{.*}} "a" interface type='String' let readImpl=stored immutable)
62-
// CHECK-NEXT: (var_decl implicit {{.*}} "b" interface type='Int' let readImpl=stored immutable)
61+
// CHECK-NEXT: (var_decl implicit {{.*}} "a" interface type="String" let readImpl=stored immutable)
62+
// CHECK-NEXT: (var_decl implicit {{.*}} "b" interface type="Int" let readImpl=stored immutable)
6363
case .test(let a, let b):
6464
a
6565
b
6666
}
6767

6868
switch $0 {
6969
// CHECK: (case_body_variables
70-
// CHECK-NEXT: (var_decl implicit {{.*}} "value" interface type='(a: String, b: Int)' let readImpl=stored immutable)
70+
// CHECK-NEXT: (var_decl implicit {{.*}} "value" interface type="(a: String, b: Int)" let readImpl=stored immutable)
7171
case let .test((value)):
7272
value.a
7373
}
7474

7575
switch $0 {
7676
// CHECK: (case_body_variables
77-
// CHECK-NEXT: (var_decl implicit {{.*}} "value" interface type='(a: String, b: Int)' let readImpl=stored immutable)
77+
// CHECK-NEXT: (var_decl implicit {{.*}} "value" interface type="(a: String, b: Int)" let readImpl=stored immutable)
7878
case let .test(value):
7979
value.a
8080
}
8181

8282
switch $0 {
8383
// CHECK: (case_body_variables
84-
// CHECK-NEXT: (var_decl implicit {{.*}} "value" interface type='(a: String, b: Int)' let readImpl=stored immutable)
84+
// CHECK-NEXT: (var_decl implicit {{.*}} "value" interface type="(a: String, b: Int)" let readImpl=stored immutable)
8585
case .test(let value):
8686
value.a
8787
}

‎test/DWARFImporter/basic.swift

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -23,10 +23,10 @@ import ObjCModule
2323

2424
let pureSwift = Int32(42)
2525
// FAIL-NOT: var_decl
26-
// CHECK: var_decl "pureSwift" {{.*}} type='Int32'
27-
// SWIFTONLY: var_decl "pureSwift" {{.*}} type='Int32'
26+
// CHECK: var_decl "pureSwift" {{.*}} type="Int32"
27+
// SWIFTONLY: var_decl "pureSwift" {{.*}} type="Int32"
2828

2929
let point = Point(x: 1, y: 2)
30-
// CHECK: var_decl "point" {{.*}} type='Point'
30+
// CHECK: var_decl "point" {{.*}} type="Point"
3131
// SWIFTONLY-NOT: var_decl "point"
3232

‎test/Distributed/distributed_actor_executor_ast.swift

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -25,21 +25,21 @@ distributed actor DefaultWorker {
2525
}
2626

2727
// Check DefaultWorker, the DefaultActor version of the synthesis:
28-
// CHECK: (class_decl range=[{{.*}}] "DefaultWorker" interface type='DefaultWorker.Type' access=internal non_resilient distributed actor
28+
// CHECK: (class_decl range=[{{.*}}] "DefaultWorker" interface type="DefaultWorker.Type" access=internal non_resilient distributed actor
2929
// The unowned executor property:
30-
// CHECK: (var_decl implicit "unownedExecutor" interface type='UnownedSerialExecutor' access=internal final readImpl=getter immutable
30+
// CHECK: (var_decl implicit "unownedExecutor" interface type="UnownedSerialExecutor" access=internal final readImpl=getter immutable
3131

3232
// We guard the rest of the body; we only return a default executor if the actor is local:
3333
// CHECK: (guard_stmt implicit
34-
// CHECK: (call_expr implicit type='Bool' nothrow
35-
// CHECK: (declref_expr implicit type='@_NO_EXTINFO (AnyObject) -> Bool' decl=Distributed.(file).__isLocalActor function_ref=unapplied)
34+
// CHECK: (call_expr implicit type="Bool" nothrow
35+
// CHECK: (declref_expr implicit type="@_NO_EXTINFO (AnyObject) -> Bool" decl="Distributed.(file).__isLocalActor" function_ref=unapplied)
3636

3737
// Check that we create the "remote reference" executor:
3838
// CHECK: (return_stmt implicit
39-
// CHECK: (call_expr implicit type='UnownedSerialExecutor' nothrow
40-
// CHECK: (declref_expr implicit type='(DefaultWorker) -> UnownedSerialExecutor' decl=Distributed.(file).buildDefaultDistributedRemoteActorExecutor [with (substitution_map generic_signature=<Act where Act : DistributedActor> (substitution Act -> DefaultWorker))]
39+
// CHECK: (call_expr implicit type="UnownedSerialExecutor" nothrow
40+
// CHECK: (declref_expr implicit type="(DefaultWorker) -> UnownedSerialExecutor" decl="Distributed.(file).buildDefaultDistributedRemoteActorExecutor [with (substitution_map generic_signature=<Act where Act : DistributedActor> (substitution Act -> DefaultWorker))]"
4141

4242
// Check the default executor synthesis for local actor otherwise:
4343
// CHECK: (return_stmt implicit
44-
// CHECK: (call_expr implicit type='Builtin.Executor' nothrow
45-
// CHECK: (declref_expr implicit type='(DefaultWorker) -> Builtin.Executor' decl=Builtin.(file).buildDefaultActorExecutorRef [with (substitution_map generic_signature=<T where T : AnyObject> (substitution T -> DefaultWorker))] function_ref=unapplied)
44+
// CHECK: (call_expr implicit type="Builtin.Executor" nothrow
45+
// CHECK: (declref_expr implicit type="(DefaultWorker) -> Builtin.Executor" decl="Builtin.(file).buildDefaultActorExecutorRef [with (substitution_map generic_signature=<T where T : AnyObject> (substitution T -> DefaultWorker))]" function_ref=unapplied)

0 commit comments

Comments
 (0)