// Confirm that we don't accidentally divide or mod by zero in llvm_type

// build-pass (FIXME(62277): could be check-pass?)

mod a {
    pub trait A {}
}

mod b {
    pub struct Builder {}

    pub fn new() -> Builder {
        Builder {}
    }

    impl Builder {
        pub fn with_a(&mut self, _a: fn() -> dyn (::a::A)) {}
    }
}

pub use self::b::new;

fn main() {}