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


extern crate issue_9123;

pub fn main() {}