Enum ReturnOwnershipMode 

pub enum ReturnOwnershipMode {
    NewlyOwned,
    BorrowedFromParam(usize),
    Shared,
    Static,
    Unknown,
}

Ownership classification of a function’s return value.

Used for interprocedural ownership inference (Phase 5.A). Each function’s return is classified into one of these modes so that callers can propagate the right storage decisions without emitting redundant Arc→Box promotions.

Unknown is the conservative fallback — it preserves current Arc-everywhere behavior, so any inference uncertainty stays semantics-preserving.

Variants

NewlyOwned

Returns a newly-allocated owned value. Caller can take ownership directly (as Box) without an Arc round-trip. Example: fn make() -> Array<int> { [1,2,3] }

BorrowedFromParam(usize)

Returns a reference/alias derived from the given parameter. Caller keeps ownership of the source. Example: fn first(arr: &Array<int>) -> &int { &arr[0] }

Shared

Returns a shared (Arc) value — reference-counted across callers.

Static

Returns a value proven to escape into global / static storage.

Unknown

Could not infer — fall back to current Arc behavior.

Implementations

impl ReturnOwnershipMode

pub fn meet(self, other: Self) -> Self

Combine two return modes observed on different return paths. “Weakest” wins — any mismatch degrades to Unknown so the conservative Arc fallback is always safe.

Trait Implementations

impl Clone for ReturnOwnershipMode

fn clone(&self) -> ReturnOwnershipMode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ReturnOwnershipMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for ReturnOwnershipMode

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ReturnOwnershipMode

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for ReturnOwnershipMode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for ReturnOwnershipMode

fn eq(&self, other: &ReturnOwnershipMode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ReturnOwnershipMode

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ReturnOwnershipMode

impl Eq for ReturnOwnershipMode

impl StructuralPartialEq for ReturnOwnershipMode