//@ check-pass
//@ aux-build:issue-112831-aux.rs
mod z {
pub trait Zeroable {}
}
use z::*;
mod pod {
use super::*;
pub trait Pod: Zeroable {}
extern crate issue_112831_aux;
use issue_112831_aux::Zeroable;
fn main() {}