--- /dev/null
+error[E0277]: the trait bound `isize: Clone2` is not satisfied
+ --> $DIR/impl-bounds-checking.rs:10:6
+ |
+LL | trait Getter<T: Clone2> {
+ | ------ required by this bound in `Getter`
+...
+LL | impl Getter<isize> for isize {
+ | ^^^^^^^^^^^^^ the trait `Clone2` is not implemented for `isize`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.