Function extern_spec_T_Bound__ref_T_copied 

pub fn extern_spec_T_Bound__ref_T_copied<T: Copy>(self_: Bound<&T>) -> Bound<T>

extern spec for Bound<&T>::copied

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

ensures

result == match self {
    Bound::Unbounded => Bound::Unbounded,
    Bound::Included(x) => Bound::Included(*x),
    Bound::Excluded(x) => Bound::Excluded(*x),
}