struct A;
struct B;
fn f(b1: B, b2: B, a2: C) {} //~ ERROR E0412
fn main() {
f(A, A, B, C); //~ ERROR E0425
//~^ ERROR E0061
}