// check-pass
// aux-crate:panic_item=panic-item.rs
// @has unused_extern_crate/index.html