Lifetime test: implicit subscript getter depenency, implicit _modify

atrick · atrick · commit 836c33607b28 · 2025-08-12T22:02:17.000-07:00
diff --git a/test/Sema/lifetime_depend_infer.swift b/test/Sema/lifetime_depend_infer.swift
@@ -318,6 +318,16 @@ struct Accessors {
       yield &ne
     }
   }
+
+  // Synthesized _modify...
+  subscript(_ index: Int) -> NEImmortal {
+    get { // OK
+      NEImmortal()
+    }
+
+    set { // OK (no dependency)
+    }
+  }
 }
 
 struct TrivialAccessors {

Original file line number	Diff line number	Diff line change
`@@ -318,6 +318,16 @@ struct Accessors {`
`318`	`318`	`yield &ne`
`319`	`319`	`}`
`320`	`320`	`}`
	`321`	`+`
	`322`	`+ // Synthesized _modify...`
	`323`	`+ subscript(_ index: Int) -> NEImmortal {`
	`324`	`+ get { // OK`
	`325`	`+ NEImmortal()`
	`326`	`+ }`
	`327`	`+`
	`328`	`+ set { // OK (no dependency)`
	`329`	`+ }`
	`330`	`+ }`
`321`	`331`	`}`
`322`	`332`
`323`	`333`	`struct TrivialAccessors {`