Add missing .into_iter() · model-checking/verify-rust-std@f5305c1 (original) (raw)

Skip to content

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Commit f5305c1

File tree

1 file changed

lines changed

1 file changed

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number Diff line number Diff line change
@@ -106,7 +106,7 @@ use crate::ub_checks;
106 106 /// // SAFETY: see function docstring.
107 107 /// unsafe { slice::from_raw_parts(ptr, len) }
108 108 /// };
109 -/// data.sum()
109 +/// data.into_iter().sum()
110 110 /// }
111 111 ///
112 112 /// // This could be the result of C++'s std::vector::data():