Joe Groff 19329e3e03 SILGen: Treat read-formal-accessed lvalues as borrows. ...

A read access asserts that the memory location is immutable for the duration
of the access, so it can be treated as a borrow rather than a mutable lvalue.
Doing this allows the borrow formal access scope fixes from #79084 to apply
to situations where a loadable type undergoes an accessor-based access with
indirect arguments (such as for public accessors when library evolution is
enabled for the type). Fixes rdar://143334632.

2025-02-04 08:23:34 -08:00

11 KiB

Raw Permalink Blame History

View Raw