Function extern_spec_core_clone_Clone_clone_from 

pub fn extern_spec_core_clone_Clone_clone_from<Self_>(
    self_: &mut Self_,
    source: &Self_,
)
where
    Self_: ?Sized + Clone,

extern spec for ::core::clone::Clone::clone_from

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

ensures

resolve(*self)

ensures

Self