// https://github.com/rust-lang/rust/issues/9123
//@ run-pass
//@ aux-build:aux-9123.rs

extern crate aux_9123;

pub fn main() {}