Skip to main content

extern_spec_core_convert_AsRef_T_as_ref

creusot_std::std::convert

Function extern_spec_core_convert_AsRef_T_as_ref 

Source 
pub fn extern_spec_core_convert_AsRef_T_as_ref<Self_, T: PointeeSized>(
    self_: &Self_,
) -> &T
where
    Self_: ?Sized + AsRef<T> + PointeeSized,
Expand description

extern spec for ::core::convert::AsRef::as_ref

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