blob: c54bc3cd6230c7fd46d1bbd33e12b62205df3586 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
// run-pass
// Test equality constraints on associated types in a where clause.
// pretty-expanded FIXME #23616
pub trait Foo {
type A;
fn boo(&self) -> <Self as Foo>::A;
}
#[derive(PartialEq)]
pub struct Bar;
impl Foo for isize {
type A = usize;
fn boo(&self) -> usize { 42 }
}
impl Foo for char {
type A = Bar;
fn boo(&self) -> Bar { Bar }
}
fn foo_bar<I: Foo<A=Bar>>(x: I) -> Bar {
x.boo()
}
fn foo_uint<I: Foo<A=usize>>(x: I) -> usize {
x.boo()
}
pub fn main() {
let a = 42;
foo_uint(a);
let a = 'a';
foo_bar(a);
}
|