Move const tests to ui tests

oli-obk · oli-obk · commit 4b9363b79d63 · 2023-07-26T14:35:02.000Z
diff --git a/tests/consts.rs b/tests/consts.rs
diff --git a/tests/ui/consts/generic_mismatch.stderr b/tests/ui/consts/generic_mismatch.stderr
@@ -0,0 +1,4 @@
+Error: check_trait_impl(impl <const> Foo < const ^const0_0 > for (rigid (scalar u32)) where [type_of_const ^const0_0 is (rigid (scalar u32))] { })
+
+Caused by:
+    failed to prove {Foo((rigid (scalar u32)), const !const_1)} given {@ ConstHasType(!const_1 , (rigid (scalar u32)))}, got {}
diff --git a/tests/ui/consts/generic_mismatch.🔬 b/tests/ui/consts/generic_mismatch.🔬
@@ -0,0 +1,7 @@
+[
+    crate Foo {
+        trait Foo<const C> where [type_of_const C is bool] {}
+
+        impl<const C> Foo<const C> for u32 where [type_of_const C is u32] {}
+    }
+]
diff --git a/tests/ui/consts/holds.🔬 b/tests/ui/consts/holds.🔬
@@ -0,0 +1,8 @@
+//@check-pass
+[
+    crate Foo {
+        trait Foo<const C> where [type_of_const C is bool] {}
+
+        impl<> Foo<const true> for u32 where [] {}
+    }
+]
diff --git a/tests/ui/consts/mismatch.stderr b/tests/ui/consts/mismatch.stderr
@@ -0,0 +1,4 @@
+Error: check_trait_impl(impl <> Foo < const 42_(rigid (scalar u32)) > for (rigid (scalar u32)) where [] { })
+
+Caused by:
+    failed to prove {Foo((rigid (scalar u32)), const 42_(rigid (scalar u32)))} given {}, got {}
diff --git a/tests/ui/consts/mismatch.🔬 b/tests/ui/consts/mismatch.🔬
@@ -0,0 +1,7 @@
+[
+    crate Foo {
+        trait Foo<const C> where [type_of_const C is bool] {}
+
+        impl<> Foo<const 42_u32> for u32 where [] {}
+    }
+]
diff --git a/tests/ui/consts/multiple_type_of_const.🔬 b/tests/ui/consts/multiple_type_of_const.🔬
@@ -0,0 +1,10 @@
+/// This test is weird, but it's also not something rustc ever generates.
+/// Types on const generics only get exactly one `type_of_const` bound.
+/// Either way, it is still sound, because there is no constant that possibly
+/// satisfies those bounds (similar to how there is no type that satisfies `Drop` + `Copy`).
+//@check-pass
+[
+    crate Foo {
+        trait Foo<const C> where [type_of_const C is bool, type_of_const C is u32] {}
+    }
+]
diff --git a/tests/ui/consts/nonsense_rigid_const_bound.stderr b/tests/ui/consts/nonsense_rigid_const_bound.stderr
@@ -0,0 +1,5 @@
+Error: check_trait(Foo)
+
+Caused by:
+    0: prove_where_clause_well_formed(type_of_const 0_(rigid (scalar bool)) is (rigid (scalar u32)))
+    1: failed to prove {(rigid (scalar u32)) = (rigid (scalar bool))} given {@ ConstHasType(0_(rigid (scalar bool)) , (rigid (scalar u32)))}, got {}
diff --git a/tests/ui/consts/nonsense_rigid_const_bound.🔬 b/tests/ui/consts/nonsense_rigid_const_bound.🔬
@@ -0,0 +1,7 @@
+/// This test is the short version of `generic_mismatch`, skipping
+/// substituting and directly going to a wrong constant.
+[
+    crate Foo {
+        trait Foo<> where [type_of_const true is u32] {}
+    }
+]
diff --git a/tests/ui/consts/ok.🔬 b/tests/ui/consts/ok.🔬
@@ -0,0 +1,9 @@
+//@check-pass
+[
+    crate Foo {
+        trait Foo<const C> where [type_of_const C is bool] {}
+        trait Bar<const C> where [type_of_const C is u32] {}
+
+        impl<const C> Foo<const C> for u32 where [type_of_const C is bool] {}
+    }
+]
diff --git a/tests/ui/consts/rigid_const_bound.🔬 b/tests/ui/consts/rigid_const_bound.🔬
@@ -0,0 +1,8 @@
+/// This test is the short version of `holds`, skipping
+/// substituting and directly going to a rigid constant.
+//@check-pass
+[
+    crate Foo {
+        trait Foo<> where [type_of_const true is bool] {}
+    }
+]
