Home
last modified time | relevance | path

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

/third_party/rust/rust/src/tools/miri/src/borrow_tracker/stacked_borrows/
Ddiagnostics.rs97 struct Protection { struct
98 tag: BorTag,
99 span: Span,