actor init/deinitの改善のPRでも出てきたflow-sensitive analysisというのを使うというやつですね。selfがdecayするという話でなんとなく覚えてました。 https://github.com/apple/swift-evolution/blob/main/proposals/0327-actor-initializers.md#flow-sensitive-actor-isolation (edited)

This maintains proposals for changes and user-visible enhancements to the Swift Programming Language. - apple/swift-evolution