blob: eda7e139283d5ef8436b5775d5c684b08b956af6 (
plain)
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
|
#[lang = "sized"]
pub trait Sized {}
#[lang = "fn_once"]
pub trait FnOnce<Args> {
#[lang = "fn_once_output"]
type Output;
extern "rust-call" fn call_once(self, args: Args) -> Self::Output;
}
pub fn takes_fn_generic<F: FnOnce(i32) -> i32>(a: i32, f: F) -> i32 {
f(a)
}
pub fn takes_fn_generic_where<F>(a: i32, f: F) -> i32
where
F: FnOnce(i32) -> i32,
{
f(a)
}
pub fn test() {
let foo = |x: i32| -> i32 { x + 1 };
takes_fn_generic(1, foo);
takes_fn_generic_where(2, foo);
}
|
