Enum Context 

pub(super) enum Context {
    Function {
        return_type: Type,
    },
    Ui,
    Action,
    StateInit,
}

What kind of code is being checked, which decides what it may do.

Variants

Function

A function body; return must produce this type.

Fields

return_type: Type

Ui

A window or view body: elements, if and for.

Action

A button’s action: statements that may change state.

StateInit

A state’s starting value, which must not read other state.

Trait Implementations

impl Clone for Context

fn clone(&self) -> Context

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Context

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

Formats the value using the given formatter.