1 files changed, 14 insertions, 0 deletions
diff --git a/src/test/ui/traits/impl-bounds-checking.rs b/src/test/ui/traits/impl-bounds-checking.rs
new file mode 100644
index 000000000..5e65a27bf
--- /dev/null
+++ b/src/test/ui/traits/impl-bounds-checking.rs
@@ -0,0 +1,14 @@
+pub trait Clone2 {
+    fn clone(&self) -> Self;
+}
+
+
+trait Getter<T: Clone2> {
+    fn get(&self) -> T;
+}
+
+impl Getter<isize> for isize { //~ ERROR `isize: Clone2` is not satisfied
+    fn get(&self) -> isize { *self }
+}
+
+fn main() { }