struct S(Option<(A, B)>);
impl S {
fn infer(&self, a: A, b: B) {}
//~^ NOTE method defined here
//~| NOTE
//~| NOTE
}
fn main() {
let s = S(None);
s.infer(0i32);
//~^ ERROR this method takes 2 arguments but 1 argument was supplied
//~| NOTE this argument has type `i32`...
//~| NOTE ... which causes `s` to have type `S`
//~| NOTE an argument is missing
//~| HELP provide the argument
//~| HELP change the type of the numeric literal from `i32` to `u32`
let t: S = s;
//~^ ERROR mismatched types
//~| NOTE expected `S`, found `S`
//~| NOTE expected due to this
//~| NOTE expected struct `S`
}