mirror of
https://github.com/apple/swift.git
synced 2025-12-14 20:36:38 +01:00
3add37514e
Fixes implementation issue where build block is type-checked as part of `buildEither(...)`. This is incorrect according to the original proposal (SE-0289), `buildBlock` should be type-checked independently and `buildEither` should have no effect on what overload of `buildBlock` gets selected.
123 lines
4.3 KiB
Swift
123 lines
4.3 KiB
Swift
// RUN: %target-swift-frontend -typecheck -dump-ast %s | %FileCheck %s
|
|
|
|
enum Either<T,U> {
|
|
case first(T)
|
|
case second(U)
|
|
}
|
|
|
|
@resultBuilder
|
|
struct TupleBuilder {
|
|
static func buildBlock<T1>(_ t1: T1) -> (T1) {
|
|
return (t1)
|
|
}
|
|
|
|
static func buildBlock<T1, T2>(_ t1: T1, _ t2: T2) -> (T1, T2) {
|
|
return (t1, t2)
|
|
}
|
|
|
|
static func buildBlock<T1, T2, T3>(_ t1: T1, _ t2: T2, _ t3: T3)
|
|
-> (T1, T2, T3) {
|
|
return (t1, t2, t3)
|
|
}
|
|
|
|
static func buildBlock<T1, T2, T3, T4>(_ t1: T1, _ t2: T2, _ t3: T3, _ t4: T4)
|
|
-> (T1, T2, T3, T4) {
|
|
return (t1, t2, t3, t4)
|
|
}
|
|
|
|
static func buildBlock<T1, T2, T3, T4, T5>(
|
|
_ t1: T1, _ t2: T2, _ t3: T3, _ t4: T4, _ t5: T5
|
|
) -> (T1, T2, T3, T4, T5) {
|
|
return (t1, t2, t3, t4, t5)
|
|
}
|
|
|
|
static func buildEither<T,U>(first value: T) -> Either<T,U> {
|
|
return .first(value)
|
|
}
|
|
static func buildEither<T,U>(second value: U) -> Either<T,U> {
|
|
return .second(value)
|
|
}
|
|
}
|
|
|
|
enum E {
|
|
case test(a: String, b: Int)
|
|
}
|
|
|
|
func tuplify<T>(@TupleBuilder body: (E) throws -> T) rethrows {
|
|
}
|
|
|
|
tuplify {
|
|
switch $0 {
|
|
// CHECK: (case_body_variables
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "a" interface_type="String" let readImpl=stored immutable
|
|
// CHECK-NEXT: (has_storage_attr implicit))
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "b" interface_type="Int" let readImpl=stored immutable
|
|
// CHECK-NEXT: (has_storage_attr implicit))
|
|
case let .test(a, b):
|
|
a
|
|
b
|
|
}
|
|
|
|
switch $0 {
|
|
// CHECK: (case_body_variables
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "a" interface_type="String" let readImpl=stored immutable
|
|
// CHECK-NEXT: (has_storage_attr implicit))
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "b" interface_type="Int" let readImpl=stored immutable
|
|
// CHECK-NEXT: (has_storage_attr implicit))
|
|
case .test(let a, let b):
|
|
a
|
|
b
|
|
}
|
|
|
|
switch $0 {
|
|
// CHECK: (case_body_variables
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "value" interface_type="(a: String, b: Int)" let readImpl=stored immutable
|
|
case let .test((value)):
|
|
value.a
|
|
}
|
|
|
|
switch $0 {
|
|
// CHECK: (case_body_variables
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "value" interface_type="(a: String, b: Int)" let readImpl=stored immutable
|
|
case let .test(value):
|
|
value.a
|
|
}
|
|
|
|
switch $0 {
|
|
// CHECK: (case_body_variables
|
|
// CHECK-NEXT: (var_decl {{.*}} implicit {{.*}} "value" interface_type="(a: String, b: Int)" let readImpl=stored immutable
|
|
case .test(let value):
|
|
value.a
|
|
}
|
|
}
|
|
|
|
tuplify { _ in
|
|
switch true {
|
|
// CHECK: (case_stmt {{.*}}
|
|
// CHECK: (pattern_named implicit type="Int" "$__builder2")
|
|
// CHECK: (declref_expr implicit type="(TupleBuilder.Type) -> (Int) -> Int" location={{.*}} range={{.*}} decl="{{.*}}buildBlock@{{.*}}" function_ref=single apply)
|
|
|
|
// CHECK: (call_expr implicit type="Either<Int, Int>" {{.*}}
|
|
// CHECK-NEXT: (dot_syntax_call_expr implicit type="(Int) -> Either<Int, Int>" {{.*}}
|
|
// CHECK-NEXT: (declref_expr implicit type="(TupleBuilder.Type) -> (Int) -> Either<Int, Int>" location={{.*}} range={{.*}} decl="{{.*}}buildEither(first:)@{{.*}}" function_ref=single apply)
|
|
// CHECK: (argument_list implicit labels="first:"
|
|
// CHECK-NEXT: (argument label="first"
|
|
// CHECK-NEXT: (load_expr implicit type="Int" {{.*}}
|
|
// CHECK-NEXT: (declref_expr implicit type="@lvalue Int" location={{.*}} range={{.*}} decl="{{.*}}.$__builder2@{{.*}}" function_ref=unapplied))))))))
|
|
case true: 0
|
|
|
|
// CHECK: (case_stmt {{.*}}
|
|
// CHECK: (pattern_named implicit type="Int" "$__builder4")
|
|
// CHECK: (declref_expr implicit type="(TupleBuilder.Type) -> (Int) -> Int" location={{.*}} range={{.*}} decl="{{.*}}buildBlock@{{.*}}" function_ref=single apply)
|
|
|
|
// CHECK: (call_expr implicit type="Either<Int, Int>" {{.*}}
|
|
// CHECK-NEXT: (dot_syntax_call_expr implicit type="(Int) -> Either<Int, Int>" {{.*}}
|
|
// CHECK-NEXT: (declref_expr implicit type="(TupleBuilder.Type) -> (Int) -> Either<Int, Int>" location={{.*}} range={{.*}} decl="{{.*}}buildEither(second:)@{{.*}}" function_ref=single apply)
|
|
// CHECK: (argument_list implicit labels="second:"
|
|
// CHECK-NEXT: (argument label="second"
|
|
// CHECK-NEXT: (load_expr implicit type="Int" {{.*}}
|
|
// CHECK-NEXT: (declref_expr implicit type="@lvalue Int" location={{.*}} range={{.*}} decl="{{.*}}.$__builder4@{{.*}}" function_ref=unapplied))))))))
|
|
case false: 1
|
|
}
|
|
}
|