// run-pass
// aux-build:issue-12133-rlib.rs
// aux-build:issue-12133-dylib.rs
// no-prefer-dynamic

// pretty-expanded FIXME #23616

extern crate issue_12133_rlib as a;
extern crate issue_12133_dylib as b;

fn main() {}