Add WF test for never type

rust-lang · May 21, 2020 · 7a87e30 · 7a87e30
1 parent de32339
commit 7a87e30
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git a/tests/test/mod.rs b/tests/test/mod.rs
@@ -307,6 +307,7 @@ mod implied_bounds;
 mod impls;
 mod misc;
 mod negation;
+mod never;
 mod object_safe;
 mod projection;
 mod refs;

diff --git a/tests/test/never.rs b/tests/test/never.rs
@@ -0,0 +1,13 @@
+use super::*;
+
+#[test]
+fn never_is_well_formed() {
+    test! {
+        program { }
+        goal {
+            WellFormed(!)
+        } yields {
+            "Unique"
+        }
+    }
+}