File tree Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Expand file tree Collapse file tree 2 files changed +7
-1
lines changed Original file line number Diff line number Diff line change @@ -120,6 +120,9 @@ extension GSNC: Copyable where T: Copyable {}
120
120
121
121
struct GSNE<T: ~Escapable>: ~Escapable {
122
122
var x: T
123
+
124
+ // 60_MERGE: an explicit initializer is temporarily required until initializer inferrence is merged.
125
+ init(x: consuming T) { self.x = x }
123
126
}
124
127
125
128
extension GSNE: Escapable where T: Escapable {}
Original file line number Diff line number Diff line change @@ -139,7 +139,10 @@ func check(_ t: inout any NoEscapeP & ~Escapable) {}
139
139
// MARK: conditionally Copyable & Escapable SILGen
140
140
141
141
struct MyStruct< T : ~ Copyable & ~ Escapable> : ~ Copyable & ~ Escapable {
142
- var x : T
142
+ var x : T
143
+
144
+ // 60_MERGE: an explicit initializer is temporarily required until initializer inferrence is merged.
145
+ init ( x: consuming T) { self . x = x }
143
146
}
144
147
145
148
extension MyStruct : Copyable where T: Copyable & ~ Escapable { }
You can’t perform that action at this time.
0 commit comments