//@ run-pass
//@ aux-build:issue-9123.rs
//@ pretty-expanded FIXME #23616
extern crate issue_9123;
pub fn main() {}