|
//@ check-pass
|
|
#![allow(dead_code)]
|
|
#![allow(non_camel_case_types)]
|
|
|
|
|
|
trait clam<A> {
|
|
fn get(self) -> A;
|
|
}
|
|
|
|
struct foo<A> {
|
|
x: A,
|
|
}
|
|
|
|
impl<A> foo<A> {
|
|
pub fn bar<B,C:clam<A>>(&self, _c: C) -> B {
|
|
panic!();
|
|
}
|
|
}
|
|
|
|
fn foo<A>(b: A) -> foo<A> {
|
|
foo {
|
|
x: b
|
|
}
|
|
}
|
|
|
|
pub fn main() { }
|