Function extern_spec_AsRef_str_str_as_ref 

pub fn extern_spec_AsRef_str_str_as_ref(self_: &str) -> &str

extern spec for str::as_ref

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

ghost

ensures

self