src/test/ui/typeck_type_placeholder_1.rs

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