Skip to content

Commit 5d18fa7

Browse files
committed
Remove @_unsafeNonescapableResult from unit tests.
1 parent 3961729 commit 5d18fa7

7 files changed

+6
-17
lines changed

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_borrow_fail.swift

-2
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@ struct BV : ~Escapable {
1212
let p: UnsafeRawPointer
1313
let i: Int
1414

15-
@_unsafeNonescapableResult
1615
init(_ p: UnsafeRawPointer, _ i: Int) -> dependsOn(p) Self {
1716
self.p = p
1817
self.i = i
@@ -36,7 +35,6 @@ struct NE : ~Escapable {
3635
let p: UnsafeRawPointer
3736
let i: Int
3837

39-
@_unsafeNonescapableResult
4038
init(_ p: UnsafeRawPointer, _ i: Int) -> dependsOn(p) Self {
4139
self.p = p
4240
self.i = i

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_inherit.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,7 @@ struct BV : ~Escapable {
1717
self.i = i
1818
}
1919

20-
@_unsafeNonescapableResult
21-
init(independent p: UnsafeRawPointer, _ i: Int) {
20+
init(independent p: UnsafeRawPointer, _ i: Int) -> dependsOn(p) Self {
2221
self.p = p
2322
self.i = i
2423
}

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_inherit_fail.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,7 @@ struct BV : ~Escapable {
1717
self.i = i
1818
}
1919

20-
@_unsafeNonescapableResult
21-
init(independent p: UnsafeRawPointer, _ i: Int) {
20+
init(independent p: UnsafeRawPointer, _ i: Int) -> dependsOn(p) Self {
2221
self.p = p
2322
self.i = i
2423
}

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_optional.swift

+2-6
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,7 @@
1010
// Simply test that it is possible for a module to define a pseudo-Optional type without triggering any compiler errors.
1111

1212
public protocol ExpressibleByNilLiteral: ~Copyable & ~Escapable {
13-
// TODO: dependsOn(immortal)
14-
@_unsafeNonescapableResult
15-
init(nilLiteral: ())
13+
init(nilLiteral: ()) -> dependsOn(immortal) Self
1614
}
1715

1816
@frozen
@@ -30,10 +28,8 @@ extension Nillable: Sendable where Wrapped: ~Copyable & ~Escapable & Sendable {
3028
extension Nillable: BitwiseCopyable where Wrapped: BitwiseCopyable { }
3129

3230
extension Nillable: ExpressibleByNilLiteral where Wrapped: ~Copyable & ~Escapable {
33-
// TODO: dependsOn(immortal)
3431
@_transparent
35-
@_unsafeNonescapableResult
36-
public init(nilLiteral: ()) {
32+
public init(nilLiteral: ()) dependsOn(immortal) {
3733
self = .none
3834
}
3935
}

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_param.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,7 @@ struct BV : ~Escapable {
1717
self.i = i
1818
}
1919

20-
@_unsafeNonescapableResult
21-
init(independent p: UnsafeRawPointer, _ i: Int) {
20+
init(independent p: UnsafeRawPointer, _ i: Int) -> dependsOn(p) Self {
2221
self.p = p
2322
self.i = i
2423
}

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_scope_fixup.swift

+1-2
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,7 @@ struct NCContainer : ~Copyable {
1717
struct View : ~Escapable {
1818
let ptr: UnsafeRawBufferPointer
1919
let c: Int
20-
@_unsafeNonescapableResult
21-
init(_ ptr: UnsafeRawBufferPointer, _ c: Int) {
20+
init(_ ptr: UnsafeRawBufferPointer, _ c: Int) -> dependsOn(p) Self {
2221
self.ptr = ptr
2322
self.c = c
2423
}

Diff for: test/SILOptimizer/lifetime_dependence/lifetime_dependence_todo.swift

-1
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,6 @@ struct BV : ~Escapable {
1414
let p: UnsafeRawPointer
1515
let i: Int
1616

17-
@_unsafeNonescapableResult
1817
init(_ p: UnsafeRawPointer, _ i: Int) -> dependsOn(p) Self {
1918
self.p = p
2019
self.i = i

0 commit comments

Comments
 (0)