1 files changed, 36 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-2989.rs b/src/test/ui/issues/issue-2989.rs
new file mode 100644
index 000000000..c0b673743
--- /dev/null
+++ b/src/test/ui/issues/issue-2989.rs
@@ -0,0 +1,36 @@
+// run-pass
+#![allow(non_camel_case_types)]
+
+trait methods {
+    fn to_bytes(&self) -> Vec<u8> ;
+}
+
+impl methods for () {
+    fn to_bytes(&self) -> Vec<u8> {
+        Vec::new()
+    }
+}
+
+// the position of this function is significant! - if it comes before methods
+// then it works, if it comes after it then it doesn't!
+fn to_bools(bitv: Storage) -> Vec<bool> {
+    (0..8).map(|i| {
+        let w = i / 64;
+        let b = i % 64;
+        let x = 1 & (bitv.storage[w] >> b);
+        x == 1
+    }).collect()
+}
+
+struct Storage { storage: Vec<u64> }
+
+pub fn main() {
+    let bools = vec![false, false, true, false, false, true, true, false];
+    let bools2 = to_bools(Storage{storage: vec![0b01100100]});
+
+    for i in 0..8 {
+        println!("{} => {} vs {}", i, bools[i], bools2[i]);
+    }
+
+    assert_eq!(bools, bools2);
+}