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