summaryrefslogtreecommitdiffstats
path: root/src/test/ui/iterators/iter-cloned-type-inference.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/iterators/iter-cloned-type-inference.rs')
-rw-r--r--src/test/ui/iterators/iter-cloned-type-inference.rs16
1 files changed, 16 insertions, 0 deletions
diff --git a/src/test/ui/iterators/iter-cloned-type-inference.rs b/src/test/ui/iterators/iter-cloned-type-inference.rs
new file mode 100644
index 000000000..898e33719
--- /dev/null
+++ b/src/test/ui/iterators/iter-cloned-type-inference.rs
@@ -0,0 +1,16 @@
+// run-pass
+#![allow(stable_features)]
+
+// Test to see that the element type of .cloned() can be inferred
+// properly. Previously this would fail to deduce the type of `sum`.
+
+#![feature(iter_arith)]
+
+fn square_sum(v: &[i64]) -> i64 {
+ let sum: i64 = v.iter().cloned().sum();
+ sum * sum
+}
+
+fn main() {
+ assert_eq!(36, square_sum(&[1,2,3]));
+}