Struct RepeatCounterId 

pub struct RepeatCounterId(pub u32);

R-run Task 8 (PR-045/PR-006): a repeat(N) body; loop’s compiler- synthesized iteration counter, minted once per RepeatLoop statement [CfgBuilder::walk_repeat_loop] decomposes into a real CFG shape (i.e. only when body contains a suspend point somewhere in its own subtree – the suspend-free case stays the pre-existing opaque leaf stmt_shared:: lower_repeat_loop already handles unchanged, see walk_stmt’s own dispatch comment). Unlike a for loop’s user-visible control variable (a real sv_lang::Symbol, FrameSlotSource::DeclaredVar), repeat’s count has no corresponding declared local at all – there is nothing a Branch’s cond: Expression could re-evaluate every iteration the way while/for do. This id is this crate’s own, sv_lang-free handle for that counter’s eventual FrameSlotSource::SyntheticCounter frame slot (process::liveness) – dense per-ProcessCfg, assigned in allocation order (mirrors BlockId/SegId’s own numbering discipline), never reused across two distinct repeat statements in the same process (so a nested or sibling repeat gets its own, independent counter slot).

Tuple Fields

0: u32

Trait Implementations

impl Clone for RepeatCounterId

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 RepeatCounterId

impl Debug for RepeatCounterId

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

Formats the value using the given formatter.

impl Eq for RepeatCounterId

impl Hash for RepeatCounterId

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 RepeatCounterId

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for RepeatCounterId