9886c233d8
It is used exactly once and can be replaced with the equally fast .as_str().len()
It is used exactly once and can be replaced with the equally fast .as_str().len()