11// RUN: %target-swift-frontend %s -emit-sil \
2- // RUN: -enable-experimental-feature NonescapableTypes
2+ // RUN: -enable-experimental-feature NonescapableTypes | %FileCheck %s
33
44// REQUIRES: asserts
55// REQUIRES: swift_in_compiler
@@ -57,8 +57,7 @@ public struct BufferView<Element> : ~Escapable {
5757 let start : BufferViewIndex < Element >
5858 public let count : Int
5959 private var baseAddress : UnsafeRawPointer { start. _rawValue }
60- // TODO: Enable diagnostics once this initializer's store to temporary is handled
61- // CHECK: sil @$s31lifetime_dependence_scope_fixup10BufferViewV11baseAddress5count9dependsOnACyxGSVYls_Siqd__htclufC : $@convention(method) <Element><Owner> (UnsafeRawPointer, Int, @in_guaranteed Owner, @thin BufferView<Element>.Type) -> _scope(1) @owned BufferView<Element> {
60+ // CHECK: sil @$s36lifetime_dependence_buffer_view_test10BufferViewV11baseAddress5count9dependsOnACyxGSV_Siqd__htcRi_d__Ri0_d__lufC : $@convention(method) <Element><Owner where Owner : ~Copyable, Owner : ~Escapable> (UnsafeRawPointer, Int, @in_guaranteed Owner, @thin BufferView<Element>.Type) -> _inherit(2) @owned BufferView<Element> {
6261 public init < Owner: ~ Copyable & ~ Escapable> (
6362 baseAddress: UnsafeRawPointer ,
6463 count: Int ,
@@ -68,7 +67,7 @@ public struct BufferView<Element> : ~Escapable {
6867 start: . init( rawValue: baseAddress) , count: count, dependsOn: owner
6968 )
7069 }
71- // CHECK: sil hidden @$s31lifetime_dependence_scope_fixup10BufferViewV5start5count9dependsOnACyxGAA0eF5IndexVyxGYls_Siqd__htclufC : $@convention(method) <Element><Owner> (BufferViewIndex<Element>, Int, @in_guaranteed Owner, @thin BufferView<Element>.Type) -> _scope(1 ) @owned BufferView<Element> {
70+ // CHECK: sil hidden @$s36lifetime_dependence_buffer_view_test10BufferViewV5start5count9dependsOnACyxGAA0fG5IndexVyxG_Siqd__htcRi_d__Ri0_d__lufC : $@convention(method) <Element><Owner where Owner : ~Copyable, Owner : ~Escapable > (BufferViewIndex<Element>, Int, @in_guaranteed Owner, @thin BufferView<Element>.Type) -> _inherit(2 ) @owned BufferView<Element> {
7271 init < Owner: ~ Copyable & ~ Escapable> (
7372 start index: BufferViewIndex < Element > ,
7473 count: Int ,
@@ -122,7 +121,7 @@ extension BufferView {
122121 }
123122 }
124123
125- // CHECK: sil @$s31lifetime_dependence_scope_fixup10BufferViewVyACyxGAA9FakeRangeVyAA0eF5IndexVyxGGcig : $@convention(method) <Element> (FakeRange<BufferViewIndex<Element>>, @guaranteed BufferView<Element>) -> _scope(0 ) @owned BufferView<Element> {
124+ // CHECK: sil @$s36lifetime_dependence_buffer_view_test10BufferViewVyACyxGAA9FakeRangeVyAA0fG5IndexVyxGGcig : $@convention(method) <Element> (FakeRange<BufferViewIndex<Element>>, @guaranteed BufferView<Element>) -> _inherit(1 ) @owned BufferView<Element> {
126125 public subscript( bounds: FakeRange < BufferViewIndex < Element > > ) -> Self {
127126 get {
128127 BufferView (
0 commit comments