source/rust_verify/src/def.rs at master · stepbrobd.com/verus · Tangled

forked from verus-lang/verus

verus source rust_verify src def.rs

86 B · 2 lines

Rust

Travis Hance · move Drop-related checks from demote_external_traits to well_formed.rs (#3024) · 1mo ago