summary refs log tree commit diff
path: root/src/test/compile-fail/rec-expected.rs
blob: 1f69ffc7a4d2b6474a43a5e8ff9bbf44b1f2a4e8 (plain)
1
2
3
4
5
6
7
8
9
type foo = {a: int};
type bar = {b: int};

fn want_foo(f: foo) {}
fn have_bar(b: bar) {
    want_foo(b); //~ ERROR expected a record with field `a`
}

fn main() {}