tests/pretty/issue-4264.pp

   1 #[prelude_import]
   2 use ::std::prelude::rust_2015::*;
   3 #[macro_use]
   4 extern crate std;
   5 // pretty-compare-only
   6 // pretty-mode:hir,typed
   7 // pp-exact:issue-4264.pp
   8
   9 // #4264 fixed-length vector types
  10
  11 fn foo(_: [i32; (3 as usize)]) ({ } as ())
  12
  13 fn bar() ({
  14         const FOO: usize = ((5 as usize) - (4 as usize) as usize);
  15         let _: [(); (FOO as usize)] = ([(() as ())] as [(); 1]);
  16
  17         let _: [(); (1 as usize)] = ([(() as ())] as [(); 1]);
  18
  19         let _ =
  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]);
  23
  24
  25
  26
  27
  28
  29
  30
  31
  32         ({
  33                 let res =
  34                     ((::alloc::fmt::format as
  35                             for<'a> fn(Arguments<'a>) -> String {format})(((<#[lang = "format_arguments"]>::new_v1
  36                                 as
  37                                 fn(&[&'static str], &[ArgumentV1<'_>]) -> Arguments<'_> {Arguments::<'_>::new_v1})((&([("test"
  38                                             as &str)] as [&str; 1]) as &[&str; 1]),
  39                             (&([] as [ArgumentV1<'_>; 0]) as &[ArgumentV1<'_>; 0])) as
  40                             Arguments<'_>)) as String);
  41                 (res as String)
  42             } as String);
  43     } as ())
  44 type Foo = [i32; (3 as usize)];
  45 struct Bar {
  46     x: [i32; (3 as usize)],
  47 }
  48 struct TupleBar([i32; (4 as usize)]);
  49 enum Baz { BazVariant([i32; (5 as usize)]), }
  50 fn id<T>(x: T) -> T ({ (x as T) } as T)
  51 fn use_id() ({
  52         let _ =
  53             ((id::<[i32; (3 as usize)]> as
  54                     fn([i32; 3]) -> [i32; 3] {id::<[i32; 3]>})(([(1 as i32),
  55                         (2 as i32), (3 as i32)] as [i32; 3])) as [i32; 3]);
  56     } as ())
  57 fn main() ({ } as ())