Function iter_into_iter_specCopy item path

pub open spec fn iter_into_iter_spec<I: Iterator>(i: I) -> I

{ i }