]>
Commit | Line | Data |
---|---|---|
1b1a35ee | 1 | // ignore-tidy-linelength |
94b46f34 | 2 | // compile-flags:-Zprint-mono-items=eager |
7453a54e SL |
3 | |
4 | #![deny(dead_code)] | |
ff7c6d11 | 5 | #![feature(start)] |
7453a54e SL |
6 | |
7 | fn take_fn_once<T1, T2, F: FnOnce(T1, T2)>(f: F, x: T1, y: T2) { | |
8 | (f)(x, y) | |
9 | } | |
10 | ||
11 | fn function<T1, T2>(_: T1, _: T2) {} | |
12 | ||
13 | fn take_fn_pointer<T1, T2>(f: fn(T1, T2), x: T1, y: T2) { | |
14 | (f)(x, y) | |
15 | } | |
16 | ||
1b1a35ee | 17 | //~ MONO_ITEM fn start |
ff7c6d11 XL |
18 | #[start] |
19 | fn start(_: isize, _: *const *const u8) -> isize { | |
7453a54e | 20 | |
1b1a35ee XL |
21 | //~ MONO_ITEM fn take_fn_once::<u32, &str, fn(u32, &str) {function::<u32, &str>}> |
22 | //~ MONO_ITEM fn function::<u32, &str> | |
23 | //~ MONO_ITEM fn <fn(u32, &str) {function::<u32, &str>} as std::ops::FnOnce<(u32, &str)>>::call_once - shim(fn(u32, &str) {function::<u32, &str>}) | |
7453a54e SL |
24 | take_fn_once(function, 0u32, "abc"); |
25 | ||
1b1a35ee XL |
26 | //~ MONO_ITEM fn take_fn_once::<char, f64, fn(char, f64) {function::<char, f64>}> |
27 | //~ MONO_ITEM fn function::<char, f64> | |
28 | //~ MONO_ITEM fn <fn(char, f64) {function::<char, f64>} as std::ops::FnOnce<(char, f64)>>::call_once - shim(fn(char, f64) {function::<char, f64>}) | |
7453a54e SL |
29 | take_fn_once(function, 'c', 0f64); |
30 | ||
1b1a35ee XL |
31 | //~ MONO_ITEM fn take_fn_pointer::<i32, ()> |
32 | //~ MONO_ITEM fn function::<i32, ()> | |
7453a54e SL |
33 | take_fn_pointer(function, 0i32, ()); |
34 | ||
1b1a35ee XL |
35 | //~ MONO_ITEM fn take_fn_pointer::<f32, i64> |
36 | //~ MONO_ITEM fn function::<f32, i64> | |
7453a54e | 37 | take_fn_pointer(function, 0f32, 0i64); |
ff7c6d11 XL |
38 | |
39 | 0 | |
7453a54e | 40 | } |