Andrew Trick 33fbe11bf8 Fix LifetimeDependenceScopeFixup: read access can depend on 'inout' ...

Allow a dependency on a local [read] access scope to be transfered to the
caller's [modify] access.

Fixes rdar://149560133 (Invalid lifetime dependence error when
trying to return Span from an inout argument)

2025-04-22 11:54:53 -07:00

20 KiB

Raw Permalink Blame History

View Raw