Add tests

AeneasVerif · Oct 29, 2024 · dc32880 · dc32880
1 parent 0ed660b
commit dc32880
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/charon/tests/ui/pointers-in-consts.out b/charon/tests/ui/pointers-in-consts.out
@@ -0,0 +1,9 @@
+error: Unsupported constant: `ConstantExprKind::Cast {..}`
+ --> tests/ui/pointers-in-consts.rs:6:9
+  |
+6 |         DISGUISED_INT => {}
+  |         ^^^^^^^^^^^^^
+
+error: aborting due to 1 previous error
+
+ERROR Compilation encountered 1 errors
diff --git a/charon/tests/ui/pointers-in-consts.rs b/charon/tests/ui/pointers-in-consts.rs
@@ -0,0 +1,9 @@
+//@ known-failure
+const DISGUISED_INT: *const () = 42 as _;
+
+fn bar() {
+    match 43 as *const () {
+        DISGUISED_INT => {}
+        _ => {}
+    }
+}