blob: ecd296aac7a19ced53b0eb0755bb8134cd386ab9 [file] [log] [blame] [edit]
//@ 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() { }