2 use ::std::prelude::rust_2015::*;
6 // pretty-mode:hir,typed
7 // pp-exact:issue-4264.pp
9 // #4264 fixed-length vector types
11 fn foo(_: [i32; (3 as usize)]) ({ } as ())
14 const FOO: usize = ((5 as usize) - (4 as usize) as usize);
15 let _: [(); (FOO as usize)] = ([(() as ())] as [(); 1]);
17 let _: [(); (1 as usize)] = ([(() as ())] as [(); 1]);
20 (((&([(1 as i32), (2 as i32), (3 as i32)] as [i32; 3]) as
21 &[i32; 3]) as *const _ as *const [i32; 3]) as
22 *const [i32; (3 as usize)] as *const [i32; 3]);
34 ((::alloc::fmt::format as
35 for<'a> fn(Arguments<'a>) -> String {format})(((<#[lang = "format_arguments"]>::new_v1
37 fn(&[&'static str], &[core::fmt::ArgumentV1<'_>]) -> Arguments<'_> {Arguments::<'_>::new_v1})((&([("test"
38 as &str)] as [&str; 1]) as &[&str; 1]),
39 (&([] as [core::fmt::ArgumentV1<'_>; 0]) as
40 &[core::fmt::ArgumentV1<'_>; 0])) as Arguments<'_>)) as
45 type Foo = [i32; (3 as usize)];
47 x: [i32; (3 as usize)],
49 struct TupleBar([i32; (4 as usize)]);
50 enum Baz { BazVariant([i32; (5 as usize)]), }
51 fn id<T>(x: T) -> T ({ (x as T) } as T)
54 ((id::<[i32; (3 as usize)]> as
55 fn([i32; 3]) -> [i32; 3] {id::<[i32; 3]>})(([(1 as i32),
56 (2 as i32), (3 as i32)] as [i32; 3])) as [i32; 3]);