File: issue-4264.pp

package info (click to toggle)
rustc 1.90.0%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental, forky, sid
  • size: 925,928 kB
  • sloc: xml: 158,148; javascript: 19,781; sh: 19,174; python: 15,732; ansic: 13,096; cpp: 7,181; asm: 4,376; makefile: 697; lisp: 176; sql: 15
file content (55 lines) | stat: -rw-r--r-- 1,666 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
#[attr = MacroUse {arguments: UseAll}]
extern crate std;
#[prelude_import]
use ::std::prelude::rust_2015::*;
//@ pretty-compare-only
//@ pretty-mode:hir,typed
//@ pp-exact:issue-4264.pp

// #4264 fixed-length vector types

fn foo(_: [i32; (3 as usize)]) ({ } as ())

fn bar() ({
    const FOO: usize = ((5 as usize) - (4 as usize) as usize);
    let _: [(); (FOO as usize)] = ([(() as ())] as [(); 1]);

    let _: [(); (1 as usize)] = ([(() as ())] as [(); 1]);

    let _ =
        (((&([(1 as i32), (2 as i32), (3 as i32)] as [i32; 3]) as &[i32; 3])
                as *const _ as *const [i32; 3]) as *const [i32; (3 as usize)]
            as *const [i32; 3]);









    ((::alloc::__export::must_use as
            fn(String) -> String {must_use::<String>})(({
            ((::alloc::fmt::format as
                    for<'a> fn(Arguments<'a>) -> String {format})(((format_arguments::new_const
                        as
                        fn(&[&'static str; 1]) -> Arguments<'_> {core::fmt::rt::<impl Arguments<'_>>::new_const::<1>})((&([("test"
                                    as &str)] as [&str; 1]) as &[&str; 1])) as Arguments<'_>))
                as String)
        } as String)) as String);
} as ())
type Foo = [i32; (3 as usize)];
struct Bar {
    x: [i32; (3 as usize)],
}
struct TupleBar([i32; (4 as usize)]);
enum Baz { BazVariant([i32; (5 as usize)]), }
fn id<T>(x: T) -> T ({ (x as T) } as T)
fn use_id() ({
    let _ =
        ((id::<[i32; (3 as usize)]> as
                fn([i32; 3]) -> [i32; 3] {id::<[i32; 3]>})(([(1 as i32),
                    (2 as i32), (3 as i32)] as [i32; 3])) as [i32; 3]);
} as ())
fn main() ({ } as ())