v/vlib/v/checker/tests/unimplemented_interface_b.vv

interface Animal {
	name() string
}

struct Cat {}

fn (c Cat) name() {}

fn foo(a Animal) {}

fn main() {
	c := Cat{}
	foo(c)
}