Enum Policy 

pub enum Policy {
    FrameScope,
    RequestScope,
}

Scope policy for the escape analysis. Only Op::Return consults it — every other escape rule is identical across policies.

• FrameScope (default for #464 stack-record lowering): Return leaks its operand, because the returned value crosses the current function’s frame into the caller.
• RequestScope (for #463 arena routing): Return does NOT leak its operand — the value goes to the caller’s stack and the caller is in the same request scope opened by EffectHandler::enter_request_scope. What the caller does with the returned value is an inter-procedural question, deliberately left to the caller’s own conservative Call arm (which marks its args as escaping in the intra-procedural first cut). See docs/design/arena-plumbing.md.

Variants

FrameScope

RequestScope

Trait Implementations

impl Clone for Policy

fn clone(&self) -> Policy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Policy

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

Formats the value using the given formatter.

impl PartialEq for Policy

fn eq(&self, other: &Policy) -> 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 Copy for Policy

impl Eq for Policy

impl StructuralPartialEq for Policy