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) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ReturnOwnershipMode

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 Eq for ReturnOwnershipMode

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: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

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 StructuralPartialEq for ReturnOwnershipMode