// run-pass
// aux-build:issue-9123.rs

// pretty-expanded FIXME #23616

extern crate issue_9123;

pub fn main() {}