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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
|
// RUN: %target-swift-frontend(mock-sdk: %clang-importer-sdk) -typecheck -parse-as-library -swift-version 4 %s -verify
// Codable struct with non-Codable property.
struct S1 : Codable {
// expected-error@-1 {{type 'S1' does not conform to protocol 'Decodable'}}
// expected-error@-2 {{type 'S1' does not conform to protocol 'Encodable'}}
struct Nested {}
var a: String = ""
var b: Int = 0
var c: Nested = Nested()
// expected-note@-1 {{cannot automatically synthesize 'Decodable' because 'Nested' does not conform to 'Decodable'}}
// expected-note@-2 {{cannot automatically synthesize 'Encodable' because 'Nested' does not conform to 'Encodable'}}
}
// Codable struct with non-enum CodingKeys.
struct S2 : Codable {
// expected-error@-1 {{type 'S2' does not conform to protocol 'Decodable'}}
// expected-error@-2 {{type 'S2' does not conform to protocol 'Encodable'}}
var a: String = ""
var b: Int = 0
var c: Double?
struct CodingKeys : CodingKey {
// expected-note@-1 {{cannot automatically synthesize 'Decodable' because 'CodingKeys' is not an enum}}
// expected-note@-2 {{cannot automatically synthesize 'Encodable' because 'CodingKeys' is not an enum}}
var stringValue: String = ""
var intValue: Int? = nil
init?(stringValue: String) {}
init?(intValue: Int) {}
}
}
// Codable struct with CodingKeys not conforming to CodingKey.
struct S3 : Codable {
// expected-error@-1 {{type 'S3' does not conform to protocol 'Decodable'}}
// expected-error@-2 {{type 'S3' does not conform to protocol 'Encodable'}}
var a: String = ""
var b: Int = 0
var c: Double?
enum CodingKeys : String {
// expected-note@-1 {{cannot automatically synthesize 'Decodable' because 'CodingKeys' does not conform to CodingKey}}
// expected-note@-2 {{cannot automatically synthesize 'Encodable' because 'CodingKeys' does not conform to CodingKey}}
case a
case b
case c
}
}
// Codable struct with extraneous CodingKeys
struct S4 : Codable {
// expected-error@-1 {{type 'S4' does not conform to protocol 'Decodable'}}
// expected-error@-2 {{type 'S4' does not conform to protocol 'Encodable'}}
var a: String = ""
var b: Int = 0
var c: Double?
enum CodingKeys : String, CodingKey {
case a
case a2
// expected-note@-1 {{CodingKey case 'a2' does not match any stored properties}}
// expected-note@-2 {{CodingKey case 'a2' does not match any stored properties}}
case b
case b2
// expected-note@-1 {{CodingKey case 'b2' does not match any stored properties}}
// expected-note@-2 {{CodingKey case 'b2' does not match any stored properties}}
case c
case c2
// expected-note@-1 {{CodingKey case 'c2' does not match any stored properties}}
// expected-note@-2 {{CodingKey case 'c2' does not match any stored properties}}
}
}
// Codable struct with non-decoded property (which has no default value).
struct S5 : Codable {
// expected-error@-1 {{type 'S5' does not conform to protocol 'Decodable'}}
var a: String = ""
var b: Int
// expected-note@-1 {{cannot automatically synthesize 'Decodable' because 'b' does not have a matching CodingKey and does not have a default value}}
var c: Double?
enum CodingKeys : String, CodingKey {
case a
case c
}
}
struct NotCodable {}
struct S6 {
var x: NotCodable = NotCodable()
// expected-note@-1 {{cannot automatically synthesize 'Encodable' because 'NotCodable' does not conform to 'Encodable'}}
// expected-note@-2 {{cannot automatically synthesize 'Decodable' because 'NotCodable' does not conform to 'Decodable'}}
}
extension S6: Codable {}
// expected-error@-1 {{type 'S6' does not conform to protocol 'Encodable'}}
// expected-error@-2 {{type 'S6' does not conform to protocol 'Decodable'}}
|
