Trait bounds on trait type parameters never checked

[msullivan]

Type parameters to traits can have trait bounds, but these bounds are not checked when implementing the trait.

pub trait Clone2 {
    fn clone(&self) -> Self;
}


trait Getter<T: Clone2> {
    fn get(&self) -> T;
}

impl Getter<int> for int {
    fn get(&self) -> int { *self }
}

int doesn't implement Clone2, but this program is accepted.