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


extern crate issue_8401;

pub fn main() {}