//@ 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() {}