swift
20ee76e0 - Add AccessBase::hasLocalOwnershipLifetime()

Commit
4 years ago
Add AccessBase::hasLocalOwnershipLifetime() Replaces AccessStorage::isGuaranteedForFunction(). OSSA utilities need to determine whether two addresses with the same AccessStorage are directly substitutable without "fixing-up" the OSSA lifetime. Checking whether the access base is within a local borrow scope is the first step.
Author
Committer
Parents
Loading