Function extern_spec_std_ops_Deref_deref 

pub fn extern_spec_std_ops_Deref_deref<Self_>(self_: &Self_) -> &Self_::Target
where
    Self_: ?Sized + Deref,

extern spec for ::std::ops::Deref::deref

This is not a real function: its only use is for documentation.

terminates

ghost

requires

false