Added precise definition for "character" in the docs for str.split (#5616)

This commit is contained in:
Andrew Voynov 2025-01-06 16:15:11 +03:00 committed by GitHub
parent 3a1503154f
commit ec1e8f9e8d
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -577,9 +577,10 @@ impl Str {
/// of the resulting parts. /// of the resulting parts.
/// ///
/// When the empty string is used as a separator, it separates every /// When the empty string is used as a separator, it separates every
/// character in the string, along with the beginning and end of the /// character (i.e., Unicode code point) in the string, along with the
/// string. In practice, this means that the resulting list of parts /// beginning and end of the string. In practice, this means that the
/// will contain the empty string at the start and end of the list. /// resulting list of parts will contain the empty string at the start
/// and end of the list.
#[func] #[func]
pub fn split( pub fn split(
&self, &self,