src/test/run-pass/issue-2312.rs


1
2
3
4
5
6
7
8
9
10
11

// Testing that the B's are resolved

trait clam<A> { }

enum foo = int;

impl foo {
    fn bar<B,C:clam<B>>(c: C) -> B { fail; }
}

fn main() { }