4 #![allow(unused_variables)]
5 // Type ascription doesn't lead to unsoundness
7 #![feature(type_ascription)]
11 const C1: u8 = 10: u8;
12 const C2: [u8; 1: usize] = [1];
19 assert_eq!(C1.into(): i32, 10);
22 let s = S { a: 10: u8 };
23 let arr = &[1u8, 2, 3];
25 let mut v = arr.iter().cloned().collect(): Vec<_>;
27 assert_eq!(v, [1, 2, 3, 4]);
30 let b = a.into(): u16;
31 assert_eq!(v[a.into(): usize], 2);
32 assert_eq!(mem::size_of_val(&a), 1);
33 assert_eq!(mem::size_of_val(&b), 2);
34 assert_eq!(b, 1: u16);
36 let mut v = Vec::new();
37 v: Vec<u8> = vec![1, 2, 3]; // Place expression type ascription
38 assert_eq!(v, [1u8, 2, 3]);