mirror of https://github.com/rust-lang/rust
44 lines
674 B
Rust
44 lines
674 B
Rust
//@ run-pass
|
|
// Test equality constrai32s on associated types in a where clause.
|
|
|
|
|
|
pub trait ToI32 {
|
|
fn to_i32(&self) -> i32;
|
|
}
|
|
|
|
impl ToI32 for i32 {
|
|
fn to_i32(&self) -> i32 { *self }
|
|
}
|
|
|
|
impl ToI32 for u32 {
|
|
fn to_i32(&self) -> i32 { *self as i32 }
|
|
}
|
|
|
|
pub trait GetToI32
|
|
{
|
|
type R : ToI32;
|
|
|
|
fn get(&self) -> <Self as GetToI32>::R;
|
|
}
|
|
|
|
impl GetToI32 for i32 {
|
|
type R = i32;
|
|
fn get(&self) -> i32 { *self }
|
|
}
|
|
|
|
impl GetToI32 for u32 {
|
|
type R = u32;
|
|
fn get(&self) -> u32 { *self }
|
|
}
|
|
|
|
fn foo<G>(g: G) -> i32
|
|
where G : GetToI32
|
|
{
|
|
ToI32::to_i32(&g.get())
|
|
}
|
|
|
|
pub fn main() {
|
|
assert_eq!(foo(22i32), 22);
|
|
assert_eq!(foo(22u32), 22);
|
|
}
|