// Copyright 2014 The Rust Project Developers. See the COPYRIGHT
// file at the top-level directory of this distribution and at
// http://rust-lang.org/COPYRIGHT.
//
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
// option. This file may not be copied, modified, or distributed
// except according to those terms.

// Test equality constrai32s on associated types in a where clause.

// pretty-expanded FIXME #23616

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);
}
