String::to_ascii_lowercase()
Return a copy of this string with each ASCII uppercase letter converted to lowercase. Non-ASCII characters are unchanged.
"Hello World".to_ascii_lowercase() //-> "hello world"
public method to_ascii_lowercase(this: String): String { __BUILT_IN_IMPLEMENTATION }