Function extern_spec_T_E_Result__refmut_T_E_cloned 

pub fn extern_spec_T_E_Result__refmut_T_E_cloned<T, E>(
    self_: Result<&mut T, E>,
) -> Result<T, E>
where
    T: Clone,

extern spec for Result<&mut T, E>::cloned

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

ensures

self

ensures

self