Function extern_spec_T_FromResidual_Option_Infallible_Option_T_from_residual 

pub fn extern_spec_T_FromResidual_Option_Infallible_Option_T_from_residual<T>(
    residual: Option<Infallible>,
) -> Option<T>

extern spec for Option<T>::from_residual

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

ensures

result == None