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() {}