pub fn box_deref_spec<T>(b: Box<T>)👎Deprecated: If you can, do not use this module as it adds assumptions about the core of Rust’s deref semantics.
Expand description
ensures
#[trigger] *(b.deref_spec()) == *b,