tests/ui/modules/issue-13872.rs

//@ run-pass
//@ aux-build:issue-13872-1.rs
//@ aux-build:issue-13872-2.rs
//@ aux-build:issue-13872-3.rs


extern crate issue_13872_3 as other;

fn main() {
    other::foo();
}