Remove leading zeroes from a string

Viewed 167

What is the simplest way to remove all leading zeroes from a string?

Here is something I came up with:

let mut chars = original_str.chars();
let mut res = chars.as_str();
while chars.next() == Some('0') {
    res = chars.as_str();
}

Is there something better, in terms of brevity and/or performance?

1 Answers
Related