pub fn extern_spec_T_E_Try_Result_T_E_from_output<T, E>(
output: T,
) -> Result<T, E>Expand description
extern spec for Result<T, E>::from_output
This is not a real function: its only use is for documentation.
ensures
result == Ok(output)pub fn extern_spec_T_E_Try_Result_T_E_from_output<T, E>(
output: T,
) -> Result<T, E>extern spec for Result<T, E>::from_output
This is not a real function: its only use is for documentation.
ensures
result == Ok(output)