2019-11-04 00:00:00 +00:00
|
|
|
// check-pass
|
2018-09-25 23:51:35 +02:00
|
|
|
#![allow(dead_code)]
|
2018-08-31 15:02:01 +02:00
|
|
|
#![allow(non_camel_case_types)]
|
|
|
|
|
2012-08-06 11:08:52 -07:00
|
|
|
// Testing that the B's are resolved
|
|
|
|
|
2015-03-22 13:13:15 -07:00
|
|
|
|
2015-02-12 10:29:52 -05:00
|
|
|
trait clam<A> { fn get(self) -> A; }
|
2012-08-06 11:08:52 -07:00
|
|
|
|
2015-03-25 17:06:52 -07:00
|
|
|
struct foo(isize);
|
2012-08-06 11:08:52 -07:00
|
|
|
|
2013-05-31 15:17:22 -07:00
|
|
|
impl foo {
|
2014-10-09 15:17:22 -04:00
|
|
|
pub fn bar<B,C:clam<B>>(&self, _c: C) -> B { panic!(); }
|
2012-08-06 11:08:52 -07:00
|
|
|
}
|
|
|
|
|
2013-02-01 19:43:17 -08:00
|
|
|
pub fn main() { }
|