Move opaque type tests into separate module

rust-lang · May 20, 2020 · 97a84ca · 97a84ca
1 parent 24163d9
commit 97a84ca
Show file tree

Hide file tree

Showing 3 changed files with 48 additions and 46 deletions.
diff --git a/tests/test/existential_types.rs b/tests/test/existential_types.rs
@@ -2,52 +2,6 @@
 
 use super::*;
 
-#[test]
-fn opaque_bounds() {
-    test! {
-        program {
-            struct Ty { }
-
-            trait Clone { }
-            opaque type T: Clone = Ty;
-        }
-
-        goal {
-            T: Clone
-        } yields {
-            "Unique; substitution []"
-        }
-    }
-}
-
-#[test]
-fn opaque_reveal() {
-    test! {
-        program {
-            struct Ty { }
-            trait Trait { }
-            impl Trait for Ty { }
-
-            trait Clone { }
-            opaque type T: Clone = Ty;
-        }
-
-        goal {
-            if (Reveal) {
-                T: Trait
-            }
-        } yields {
-            "Unique; substitution []"
-        }
-
-        goal {
-            T: Trait
-        } yields {
-            "No possible solution"
-        }
-    }
-}
-
 #[test]
 fn dyn_Clone_is_Clone() {
     test! {

diff --git a/tests/test/mod.rs b/tests/test/mod.rs
@@ -308,6 +308,7 @@ mod impls;
 mod misc;
 mod negation;
 mod object_safe;
+mod opaque_types;
 mod projection;
 mod refs;
 mod scalars;

diff --git a/tests/test/opaque_types.rs b/tests/test/opaque_types.rs
@@ -0,0 +1,47 @@
+use super::*;
+
+#[test]
+fn opaque_bounds() {
+    test! {
+        program {
+            struct Ty { }
+
+            trait Clone { }
+            opaque type T: Clone = Ty;
+        }
+
+        goal {
+            T: Clone
+        } yields {
+            "Unique; substitution []"
+        }
+    }
+}
+
+#[test]
+fn opaque_reveal() {
+    test! {
+        program {
+            struct Ty { }
+            trait Trait { }
+            impl Trait for Ty { }
+
+            trait Clone { }
+            opaque type T: Clone = Ty;
+        }
+
+        goal {
+            if (Reveal) {
+                T: Trait
+            }
+        } yields {
+            "Unique; substitution []"
+        }
+
+        goal {
+            T: Trait
+        } yields {
+            "No possible solution"
+        }
+    }
+}