Update tests

rust-lang · Jul 22, 2020 · 446395e · 446395e
1 parent 34a2a66
commit 446395e
Show file tree

Hide file tree

Showing 3 changed files with 33 additions and 0 deletions.
diff --git a/tests/test/builtin_impls/fn_family.rs b/tests/test/builtin_impls/fn_family.rs
@@ -18,6 +18,9 @@ fn function_implement_fn_traits() {
             struct Ty { }
 
             trait Clone { }
+
+            impl Clone for Ty { }
+
             opaque type MyOpaque: Clone = Ty;
 
         }

diff --git a/tests/test/opaque_types.rs b/tests/test/opaque_types.rs
@@ -7,6 +7,9 @@ fn opaque_bounds() {
             struct Ty { }
 
             trait Clone { }
+
+            impl Clone for Ty { }
+
             opaque type T: Clone = Ty;
         }
 
@@ -27,6 +30,7 @@ fn opaque_reveal() {
             impl Trait for Ty { }
 
             trait Clone { }
+            impl Clone for Ty { }
             opaque type T: Clone = Ty;
         }
 
@@ -53,11 +57,16 @@ fn opaque_where_clause() {
             struct Ty { }
 
             trait Clone { }
+            impl Clone for Ty { }
+
             trait Trait { }
             impl Trait for Ty { }
+
             opaque type T: Clone where T: Trait = Ty;
 
             struct Vec<U> { }
+
+            impl<V> Clone for Vec<V> { }
             impl<U> Trait for Vec<U> { }
 
             opaque type S<U>: Clone where U: Trait = Vec<U>;
@@ -130,6 +139,10 @@ fn opaque_generics() {
             struct Vec<T> { }
             struct Bar { }
 
+            impl<T> Iterator for Vec<T> {
+                type Item = T;
+            }
+
             opaque type Foo<X>: Iterator<Item = X> = Vec<X>;
         }
 
@@ -167,6 +180,9 @@ fn opaque_auto_traits() {
             struct Baz { }
             trait Trait { }
 
+            impl Trait for Bar { }
+            impl Trait for Baz { }
+
             #[auto]
             trait Send { }
 

diff --git a/tests/test/wf_lowering.rs b/tests/test/wf_lowering.rs
@@ -1103,3 +1103,17 @@ fn no_unsize_impls() {
         }
     }
 }
+
+#[test]
+fn ill_formed_opaque_ty() {
+    lowering_error! {
+        program {
+            trait Foo {}
+            struct Bar {}
+
+            opaque type T: Foo = Bar;
+        } error_msg {
+            "opaque type declaration `T` does not meet well-formedness requirements"
+        }
+    }
+}