1 files changed, 32 insertions, 0 deletions
diff --git a/src/test/ui/typeck/typeck_type_placeholder_1.rs b/src/test/ui/typeck/typeck_type_placeholder_1.rs
new file mode 100644
index 000000000..ea7aa5285
--- /dev/null
+++ b/src/test/ui/typeck/typeck_type_placeholder_1.rs
@@ -0,0 +1,32 @@
+// run-pass
+
+#![allow(dead_code)]
+// This test checks that the `_` type placeholder works
+// correctly for enabling type inference.
+
+
+struct TestStruct {
+    x: *const isize
+}
+
+unsafe impl Sync for TestStruct {}
+
+static CONSTEXPR: TestStruct = TestStruct{ x: &413 };
+
+
+pub fn main() {
+    let x: Vec<_> = (0..5).collect();
+    let expected: &[usize] = &[0,1,2,3,4];
+    assert_eq!(x, expected);
+
+    let x = (0..5).collect::<Vec<_>>();
+    assert_eq!(x, expected);
+
+    let y: _ = "hello";
+    assert_eq!(y.len(), 5);
+
+    let ptr: &usize = &5;
+    let ptr2 = ptr as *const _;
+
+    assert_eq!(ptr as *const usize as usize, ptr2 as usize);
+}