1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82
|
// RUN: %empty-directory(%t)
// RUN: %target-build-swift -lswiftSwiftReflectionTest %s -o %t/reflect_Enum_values6
// RUN: %target-codesign %t/reflect_Enum_values6
// RUN: %target-run %target-swift-reflection-test %t/reflect_Enum_values6 | tee /dev/stderr | %FileCheck %s --dump-input=fail
// REQUIRES: objc_interop
// REQUIRES: executable_test
// UNSUPPORTED: use_os_stdlib
import SwiftReflectionTest
public struct MyError : Error {}
public enum E1 {
case A(Error)
case B(Error)
}
// MemoryLayout<E1>.size == 8 ==> Error has spare bits
reflect(enumValue: E1.A(MyError()))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values6.E1)
// CHECK-NEXT: Value: .A(_)
reflect(enumValue: E1.B(MyError()))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values6.E1)
// CHECK-NEXT: Value: .B(_)
public enum E2 {
case A(Error?)
case B(Error?)
}
// MemoryLayout<E2>.size == 9 => Error? has no spare bits
reflect(enumValue: E2.A(MyError()))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values6.E2)
// CHECK-NEXT: Value: .A(.some(_))
reflect(enumValue: E2.B(MyError()))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values6.E2)
// CHECK-NEXT: Value: .B(.some(_))
public enum E3 {
case A(Any.Type)
case B(Any.Type)
}
// MemoryLayout<E3>.size == 8 => Any.Type has spare bits
reflect(enumValue: E3.A(Any.self))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values6.E3)
// CHECK-NEXT: Value: .A(_)
reflect(enumValue: E3.B(Any.self))
// CHECK: Reflecting an enum value.
// CHECK-NEXT: Type reference:
// CHECK-NEXT: (enum reflect_Enum_values6.E3)
// CHECK-NEXT: Value: .B(_)
doneReflecting()
// CHECK: Done.
|