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
|
// compile-flags:-Zprint-mono-items=eager
#![deny(dead_code)]
#![feature(start)]
fn take_fn_once<T1, T2, F: FnOnce(T1, T2)>(f: F, x: T1, y: T2) {
(f)(x, y)
}
fn function<T1, T2>(_: T1, _: T2) {}
fn take_fn_pointer<T1, T2>(f: fn(T1, T2), x: T1, y: T2) {
(f)(x, y)
}
//~ MONO_ITEM fn function_as_argument::start[0]
#[start]
fn start(_: isize, _: *const *const u8) -> isize {
//~ MONO_ITEM fn function_as_argument::take_fn_once[0]<u32, &str, fn(u32, &str)>
//~ MONO_ITEM fn function_as_argument::function[0]<u32, &str>
//~ MONO_ITEM fn core::ops[0]::function[0]::FnOnce[0]::call_once[0]<fn(u32, &str), (u32, &str)>
take_fn_once(function, 0u32, "abc");
//~ MONO_ITEM fn function_as_argument::take_fn_once[0]<char, f64, fn(char, f64)>
//~ MONO_ITEM fn function_as_argument::function[0]<char, f64>
//~ MONO_ITEM fn core::ops[0]::function[0]::FnOnce[0]::call_once[0]<fn(char, f64), (char, f64)>
take_fn_once(function, 'c', 0f64);
//~ MONO_ITEM fn function_as_argument::take_fn_pointer[0]<i32, ()>
//~ MONO_ITEM fn function_as_argument::function[0]<i32, ()>
take_fn_pointer(function, 0i32, ());
//~ MONO_ITEM fn function_as_argument::take_fn_pointer[0]<f32, i64>
//~ MONO_ITEM fn function_as_argument::function[0]<f32, i64>
take_fn_pointer(function, 0f32, 0i64);
0
}
|
