src/test/ui/traits/impl-bounds-checking.rs

   1 pub trait Clone2 {
   2     fn clone(&self) -> Self;
   3 }
   4
   5
   6 trait Getter<T: Clone2> {
   7     fn get(&self) -> T;
   8 }
   9
  10 impl Getter<isize> for isize { //~ ERROR `isize: Clone2` is not satisfied
  11     fn get(&self) -> isize { *self }
  12 }
  13
  14 fn main() { }