//@ run-pass
//@ aux-build:overloaded_autoderef_xc.rs
extern crate overloaded_autoderef_xc;
fn main() {
assert!(overloaded_autoderef_xc::check(5, 5));
}