//@ run-pass
//@ aux-build:issue-2723-a.rs
extern crate issue_2723_a;
use issue_2723_a::f;
pub fn main() {
unsafe {
f(vec![2]);
}