Function vstd::std_specs::core::ex_iter_into_iter

source · 
pub exec fn ex_iter_into_iter<I: Iterator>(i: I) -> r : I
Expand description
ensures
r == i,