blob: 3db26a1ee5ffe7b9847f3828b5c495de4fddeb8a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// run-pass
pub trait Test { type T; }
impl Test for u32 {
type T = i32;
}
pub mod export {
#[no_mangle]
pub extern "C" fn issue_28983(t: <u32 as ::Test>::T) -> i32 { t*3 }
}
// to test both exporting and importing functions, import
// a function from ourselves.
extern "C" {
fn issue_28983(t: <u32 as Test>::T) -> i32;
}
fn main() {
assert_eq!(export::issue_28983(2), 6);
assert_eq!(unsafe { issue_28983(3) }, 9);
}
|
