1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// check-pass #![allow(dead_code)] #![allow(non_camel_case_types)] // Testing that the B's are resolved trait clam<A> { fn get(self) -> A; } struct foo(isize); impl foo { pub fn bar<B,C:clam<B>>(&self, _c: C) -> B { panic!(); } } pub fn main() { }