Function extern_spec_ToOwned_str_to_owned 

pub fn extern_spec_ToOwned_str_to_owned(self_: &str) -> String

extern spec for str::to_owned

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

terminates

ensures

result@ == self@