//@ run-pass
//@ aux-build:static_fn_trait_xc_aux.rs

//@ pretty-expanded FIXME #23616

extern crate static_fn_trait_xc_aux as mycore;

use mycore::num;

pub fn main() {
    let _1: f64 = num::Num2::from_int2(1);
}