Struct ParamBlockLowering 

pub struct ParamBlockLowering {
    pub block: bool,
    pub if: bool,
    pub loop: bool,
}

RQ-64-MVLOWER (#1093): which parameter-taking constructs a given codegen path has PROVEN it lowers — proven meaning the #1097 acceptance oracle (scripts/repro/param_block_silent_1097_differential.py) lists that (construct, backend) leg as LOWERED and executes every one of its vectors, the pinned pre-#1096 silent-wrong ones included, against wasmtime. Everything not set here declines exactly as before. The policy lives HERE, once, and every guard site derives from it, so the backend choke point and the selector-local guard cannot drift apart.

Fields

block: bool

block (param ..) lowers on this path.

if: bool

if (param ..) lowers on this path.

loop: bool

loop (param ..) lowers on this path.

Implementations

impl ParamBlockLowering

pub const DECLINED: Self

The pre-RQ-64 reading: every parameter-taking construct declines.

Trait Implementations

impl Clone for ParamBlockLowering

fn clone(&self) -> ParamBlockLowering

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ParamBlockLowering

impl Debug for ParamBlockLowering

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

Formats the value using the given formatter.

impl Default for ParamBlockLowering

fn default() -> ParamBlockLowering

Returns the “default value” for a type.

impl Eq for ParamBlockLowering

impl PartialEq for ParamBlockLowering

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ParamBlockLowering