//@ run-pass //@ aux-build:issue-13872-1.rs //@ aux-build:issue-13872-2.rs //@ aux-build:issue-13872-3.rs //@ pretty-expanded FIXME #23616 extern crate issue_13872_3 as other; fn main() { other::foo(); }