Home
last modified time | relevance | path

Searched defs:CallId (Results 1 – 1 of 1) sorted by relevance

/third_party/rust/rust/src/tools/miri/src/borrow_tracker/
Dmod.rs16 pub type CallId = NonZeroU64; typedef
173 tracked_call_ids: FxHashSet<CallId>, in new()