Function spec_iter Copy item path

pub uninterp spec fn spec_iter<'a>(s: &'a str) -> r : Chars<'a>