SE-0458 make count a let (#2664)

DougGregor · web-flow · commit f2cab4ddc338 · 2025-01-20T09:57:01.000-08:00
diff --git a/proposals/0458-strict-memory-safety.md b/proposals/0458-strict-memory-safety.md
@@ -221,7 +221,7 @@ Like the `@unsafe` attribute, the `@safe` attribute ise used on declarations who
 
 ```swift
 extension UnsafeBufferPointer {
-  @safe public var count: Int
+  @safe public let count: Int
   @safe public var startIndex: Int { 0 }
   @safe public var endIndex: Int { count }
 }

Original file line number	Diff line number	Diff line change
@@ -221,7 +221,7 @@ Like the `@unsafe` attribute, the `@safe` attribute ise used on declarations who
`221`	`221`
`222`	`222`	```swift
`223`	`223`	`extension UnsafeBufferPointer {`
`224`		`- @safe public var count: Int`
	`224`	`+ @safe public let count: Int`
`225`	`225`	`@safe public var startIndex: Int { 0 }`
`226`	`226`	`@safe public var endIndex: Int { count }`
`227`	`227`	`}`