Enum AliasingEffect 

pub enum AliasingEffect {
    Freeze {
        value: Place,
        reason: ValueReason,
    },
    Mutate {
        value: Place,
        reason: Option<MutationReason>,
    },
    MutateConditionally {
        value: Place,
    },
    MutateTransitive {
        value: Place,
    },
    MutateTransitiveConditionally {
        value: Place,
    },
    Capture {
        from: Place,
        into: Place,
    },
    Alias {
        from: Place,
        into: Place,
    },
    MaybeAlias {
        from: Place,
        into: Place,
    },
    Assign {
        from: Place,
        into: Place,
    },
    Create {
        into: Place,
        value: ValueKind,
        reason: ValueReason,
    },
    CreateFrom {
        from: Place,
        into: Place,
    },
    ImmutableCapture {
        from: Place,
        into: Place,
    },
    Apply {
        receiver: Place,
        function: Place,
        mutates_function: bool,
        args: Vec<PlaceOrSpreadOrHole>,
        into: Place,
        signature: Option<FunctionSignature>,
        loc: Option<SourceLocation>,
    },
    CreateFunction {
        captures: Vec<Place>,
        function_id: FunctionId,
        into: Place,
    },
    MutateFrozen {
        place: Place,
        error: CompilerDiagnostic,
    },
    MutateGlobal {
        place: Place,
        error: CompilerDiagnostic,
    },
    Impure {
        place: Place,
        error: CompilerDiagnostic,
    },
    Render {
        place: Place,
    },
}

Describes the aliasing/mutation/data-flow effects of an instruction or terminal. Ported from TS AliasingEffect in AliasingEffects.ts.

Variants

Freeze

Marks the given value and its direct aliases as frozen.

Fields

value: Place

reason: ValueReason

Mutate

Mutate the value and any direct aliases.

Fields

value: Place

reason: Option<MutationReason>

MutateConditionally

Mutate the value conditionally (only if mutable).

Fields

value: Place

MutateTransitive

Mutate the value and transitive captures.

Fields

value: Place

MutateTransitiveConditionally

Mutate the value and transitive captures conditionally.

Fields

value: Place

Capture

Information flow from from to into (non-aliasing capture).

Fields

from: Place

into: Place

Alias

Direct aliasing: mutation of into implies mutation of from.

Fields

from: Place

into: Place

MaybeAlias

Potential aliasing relationship.

Fields

from: Place

into: Place

Assign

Direct assignment: into = from.

Fields

from: Place

into: Place

Create

Creates a value of the given kind at the given place.

Fields

into: Place

value: ValueKind

reason: ValueReason

CreateFrom

Creates a new value with the same kind as the source.

Fields

from: Place

into: Place

ImmutableCapture

Immutable data flow (escape analysis only, no mutable range influence).

Fields

from: Place

into: Place

Apply

Function call application.

Fields

receiver: Place

function: Place

mutates_function: bool

args: Vec<PlaceOrSpreadOrHole>

into: Place

signature: Option<FunctionSignature>

loc: Option<SourceLocation>

CreateFunction

Function expression creation with captures.

Fields

captures: Vec<Place>

function_id: FunctionId

into: Place

MutateFrozen

Mutation of a value known to be frozen (error).

Fields

place: Place

error: CompilerDiagnostic

MutateGlobal

Mutation of a global value (error).

Fields

place: Place

error: CompilerDiagnostic

Impure

Side-effect not safe during render.

Fields

place: Place

error: CompilerDiagnostic

Render

Value is accessed during render.

Fields

place: Place

Trait Implementations

impl Clone for AliasingEffect

fn clone(&self) -> AliasingEffect

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AliasingEffect

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

Formats the value using the given formatter.