Enum EventKind 

pub enum EventKind {
    Use,
    Write,
    Shadow,
    Opaque,
}

Variants

Use

变量读（VarRef）

Write

显式局部写（赋值目标 / 自增自减目标 / 声明 / ForEach 绑定）

Shadow

同名遮蔽（VarDecl / ForEach / Catch 声明）

Opaque

不透明区域（Raw 不可解析原文）：读写集未知——一切“零用途/ 单用途/无写“的证明失效，规则必须保守拒绝（对抗波 3 抓获： 仅被 RAW 引用的变量被误删 + 值被提前传播越过 RAW 赋值）。

Trait Implementations

impl Clone for EventKind

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 EventKind

impl Debug for EventKind

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

Formats the value using the given formatter.

impl Eq for EventKind

impl PartialEq for EventKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for EventKind