This test, for example, yields the message "unbound path clam<A>": ``` iface clam<A> { } iface foo<A> { fn bar<B,C:clam<A>>(c: C) -> B; } fn main() { } ```