summaryrefslogtreecommitdiffstats
path: root/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/lint/lint-strict-provenance-fuzzy-casts.rs')
-rw-r--r--src/test/ui/lint/lint-strict-provenance-fuzzy-casts.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.rs b/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.rs
new file mode 100644
index 000000000..d2d72a68f
--- /dev/null
+++ b/src/test/ui/lint/lint-strict-provenance-fuzzy-casts.rs
@@ -0,0 +1,7 @@
+#![feature(strict_provenance)]
+#![deny(fuzzy_provenance_casts)]
+
+fn main() {
+ let dangling = 16_usize as *const u8;
+ //~^ ERROR strict provenance disallows casting integer `usize` to pointer `*const u8`
+}