Home
last modified time | relevance | path

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

/third_party/rust/rust/src/tools/miri/src/borrow_tracker/stacked_borrows/
Ddiagnostics.rs103 pub struct TagHistory { struct
104 pub created: (String, SpanData),
105 pub invalidated: Option<(String, SpanData)>,
106 pub protected: Option<(String, SpanData)>,
288 ) -> Option<TagHistory> { in get_logs_relevant_to()
Dmod.rs175 history: Option<TagHistory>, in err_sb_ub()