2023-03-18 12:59:02 -05:00
|
|
|
#![feature(no_core)]
|
|
|
|
#![no_core]
|
|
|
|
|
|
|
|
extern "C" {
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name == 'not_variadic')].inner.function.decl.c_variadic" false
|
2023-03-18 12:59:02 -05:00
|
|
|
pub fn not_variadic(_: i32);
|
2023-05-22 12:17:52 -05:00
|
|
|
// @is "$.index[*][?(@.name == 'variadic')].inner.function.decl.c_variadic" true
|
2023-03-18 12:59:02 -05:00
|
|
|
pub fn variadic(_: i32, ...);
|
|
|
|
}
|