Function vstd::prelude::infer_spec_for_loop_iter

pub fn infer_spec_for_loop_iter<A>(_: A, _print_hint: bool) -> Option<A>