//@ run-pass
//@ aux-build:issue-5518.rs
//@ pretty-expanded FIXME #23616
extern crate issue_5518 as other;
fn main() {}