src/test/run-pass/typeck_type_placeholder_1.rs

   1 #![allow(dead_code)]
   2 // This test checks that the `_` type placeholder works
   3 // correctly for enabling type inference.
   4
   5
   6 struct TestStruct {
   7     x: *const isize
   8 }
   9
  10 unsafe impl Sync for TestStruct {}
  11
  12 static CONSTEXPR: TestStruct = TestStruct{ x: &413 };
  13
  14
  15 pub fn main() {
  16     let x: Vec<_> = (0..5).collect();
  17     let expected: &[usize] = &[0,1,2,3,4];
  18     assert_eq!(x, expected);
  19
  20     let x = (0..5).collect::<Vec<_>>();
  21     assert_eq!(x, expected);
  22
  23     let y: _ = "hello";
  24     assert_eq!(y.len(), 5);
  25
  26     let ptr: &usize = &5;
  27     let ptr2 = ptr as *const _;
  28
  29     assert_eq!(ptr as *const usize as usize, ptr2 as usize);
  30 }