src/test/compile-fail/terr-in-field.rs


1
2
3
4
5
6
7
8
9

type foo = {a: int, b: int};
type bar = {a: int, b: uint};

fn want_foo(f: foo) {}
fn have_bar(b: bar) {
    want_foo(b); //~ ERROR (in field `b`, int vs uint)
}

fn main() {}