あ、これは別のプロポーザルだった。SpanとNonescapable Typeのその先にあるLifetime Dependency Annotation https://github.com/swiftlang/swift-evolution/pull/2305/files?short_path=75adfdf#diff-75adfdf0146d5915b221eed0b7e6a524af2ec0ce93a833039384e653fb8943ba:~:text=Explicit%20Lifetime%20Dependency%20Annotations