// run-pass
// aux-build:issue-11225-1.rs

// pretty-expanded FIXME #23616

extern crate issue_11225_1 as foo;

pub fn main() {
    foo::foo(1);
    foo::foo_ufcs(1);
}