nichlink_run_method/runtime/trace/locals/local_id.rs
1//! The stable identity of one captured local value.
2//! 一个已捕获局部值的稳定身份。
3
4/// The trace-local identity of one captured value.
5/// 一个已捕获局部值在其所属追踪内的身份。
6///
7/// Ids are minted once per `CallTrace` and are never reused; an id that escapes
8/// a discarded scope therefore resolves to nothing rather than aliasing new
9/// evidence. Only equality and ordering within one trace are meaningful.
10/// id 在一条 `CallTrace` 内只发放一次、永不复用；逃出被丢弃作用域的 id 只会解析不到
11/// 任何东西，而不会别名到新证据。只有同一条追踪内的相等与次序才有意义。
12#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]
13pub struct LocalId(pub u64);