]> git.proxmox.com Git - rustc.git/blame - src/test/pretty/issue-4264.pp
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / pretty / issue-4264.pp
CommitLineData
1a4d82fc
JJ
1#[prelude_import]
2use std::prelude::v1::*;
85aaf69f 3#[macro_use]
c34b1796 4extern crate std as std;
1a4d82fc
JJ
5// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
6// file at the top-level directory of this distribution and at
7// http://rust-lang.org/COPYRIGHT.
8//
9// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
10// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
11// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
12// option. This file may not be copied, modified, or distributed
13// except according to those terms.
14
15// pretty-compare-only
e9174d1e 16// pretty-mode:hir,typed
1a4d82fc
JJ
17// pp-exact:issue-4264.pp
18
19// #4264 fixed-length vector types
20
85aaf69f 21pub fn foo(_: [i32; (3 as usize)]) { }
1a4d82fc
JJ
22
23pub fn bar() {
85aaf69f 24 const FOO: usize = ((5 as usize) - (4 as usize) as usize);
1a4d82fc
JJ
25 let _: [(); (FOO as usize)] = ([(() as ())] as [(); 1]);
26
c34b1796 27 let _: [(); (1 as usize)] = ([(() as ())] as [(); 1]);
1a4d82fc
JJ
28
29 let _ =
b039eaaf
SL
30 (((&([(1 as i32), (2 as i32), (3 as i32)] as [i32; 3]) as &[i32; 3])
31 as *const _ as *const [i32; 3]) as *const [i32; (3 as usize)] as
32 *const [i32; 3]);
1a4d82fc
JJ
33
34
35
36
37
38
39
40
41 ((::std::fmt::format as
54a0048b
SL
42 fn(std::fmt::Arguments<'_>) -> std::string::String {std::fmt::format})(((::std::fmt::Arguments::new_v1
43 as
44 fn(&[&str], &[std::fmt::ArgumentV1<'_>]) -> std::fmt::Arguments<'_> {std::fmt::Arguments<'_>::new_v1})(({
45 static __STATIC_FMTSTR:
46 &'static [&'static str]
47 =
48 (&([("test"
49 as
50 &'static str)]
51 as
52 [&'static str; 1])
53 as
54 &'static [&'static str; 1]);
55 (__STATIC_FMTSTR
56 as
57 &'static [&'static str])
58 }
59 as
60 &[&str]),
61 (&(match (()
62 as
63 ())
64 {
65 ()
66 =>
67 ([]
68 as
69 [std::fmt::ArgumentV1<'_>; 0]),
70 }
71 as
72 [std::fmt::ArgumentV1<'_>; 0])
73 as
74 &[std::fmt::ArgumentV1<'_>; 0]))
75 as
76 std::fmt::Arguments<'_>))
77 as std::string::String);
1a4d82fc 78}
85aaf69f 79pub type Foo = [i32; (3 as usize)];
1a4d82fc 80pub struct Bar {
85aaf69f 81 pub x: [i32; (3 as usize)],
1a4d82fc 82}
85aaf69f
SL
83pub struct TupleBar([i32; (4 as usize)]);
84pub enum Baz { BazVariant([i32; (5 as usize)]), }
1a4d82fc
JJ
85pub fn id<T>(x: T) -> T { (x as T) }
86pub fn use_id() {
87 let _ =
85aaf69f 88 ((id::<[i32; (3 as usize)]> as
54a0048b
SL
89 fn([i32; 3]) -> [i32; 3] {id::<[i32; 3]>})(([(1 as i32),
90 (2 as i32),
91 (3 as i32)] as
92 [i32; 3])) as
85aaf69f 93 [i32; 3]);
1a4d82fc
JJ
94}
95fn main() { }