//@ check-pass
#![allow(non_camel_case_types)]

//@ pretty-expanded FIXME #23616

trait clam<A> { fn get(self) -> A; }
trait foo<A> {
   fn bar<B,C:clam<A>>(&self, c: C) -> B;
}

pub fn main() { }