tests/ui/typeck/terr-in-field.rs

//@ dont-require-annotations: NOTE

struct Foo {
    a: isize,
    b: isize,
}

struct Bar {
    a: isize,
    b: usize,
}

fn want_foo(f: Foo) {}
fn have_bar(b: Bar) {
    want_foo(b); //~  ERROR mismatched types
                 //~| NOTE expected `Foo`, found `Bar`
}

fn main() {}