summaryrefslogtreecommitdiffstats
path: root/src/test/ui/array-slice-vec/rcvr-borrowed-to-slice.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/array-slice-vec/rcvr-borrowed-to-slice.rs')
-rw-r--r--src/test/ui/array-slice-vec/rcvr-borrowed-to-slice.rs33
1 files changed, 33 insertions, 0 deletions
diff --git a/src/test/ui/array-slice-vec/rcvr-borrowed-to-slice.rs b/src/test/ui/array-slice-vec/rcvr-borrowed-to-slice.rs
new file mode 100644
index 000000000..17cf7e335
--- /dev/null
+++ b/src/test/ui/array-slice-vec/rcvr-borrowed-to-slice.rs
@@ -0,0 +1,33 @@
+// run-pass
+
+#![allow(non_camel_case_types)]
+
+trait sum {
+ fn sum_(self) -> isize;
+}
+
+// Note: impl on a slice
+impl<'a> sum for &'a [isize] {
+ fn sum_(self) -> isize {
+ self.iter().fold(0, |a, &b| a + b)
+ }
+}
+
+fn call_sum(x: &[isize]) -> isize { x.sum_() }
+
+pub fn main() {
+ let x = vec![1, 2, 3];
+ let y = call_sum(&x);
+ println!("y=={}", y);
+ assert_eq!(y, 6);
+
+ let x = vec![1, 2, 3];
+ let y = x.sum_();
+ println!("y=={}", y);
+ assert_eq!(y, 6);
+
+ let x = vec![1, 2, 3];
+ let y = x.sum_();
+ println!("y=={}", y);
+ assert_eq!(y, 6);
+}