Add a test for unsupported lifetime dependencies on params.

atrick · atrick · commit 90021dd27baf · 2025-03-19T11:59:01.000-07:00
diff --git a/test/Sema/lifetime_attr.swift b/test/Sema/lifetime_attr.swift
@@ -59,3 +59,7 @@ do {
     t[keyPath: \.v2] // expected-error {{key path cannot refer to nonescapable type 'Test'}} expected-error {{key path cannot refer to nonescapable type 'NE'}}
   }
 }
+
+// rdar://146401190 ([nonescapable] implement non-inout parameter dependencies)
+@lifetime(span: borrow holder)
+func testParameterDep(holder: Holder, span: Span<Int>) {}  // expected-error {{lifetime-dependent parameter must be 'inout'}}

Original file line number	Diff line number	Diff line change
`@@ -59,3 +59,7 @@ do {`
`59`	`59`	`t[keyPath: \.v2] // expected-error {{key path cannot refer to nonescapable type 'Test'}} expected-error {{key path cannot refer to nonescapable type 'NE'}}`
`60`	`60`	`}`
`61`	`61`	`}`
	`62`	`+`
	`63`	`+// rdar://146401190 ([nonescapable] implement non-inout parameter dependencies)`
	`64`	`+@lifetime(span: borrow holder)`
	`65`	`+func testParameterDep(holder: Holder, span: Span<Int>) {} // expected-error {{lifetime-dependent parameter must be 'inout'}}`