From e23095011f8f0a6ea146e10821b95bcfb1807b8c Mon Sep 17 00:00:00 2001
From: Bastian Kauschke <bastian_kauschke@hotmail.de>
Date: Thu, 16 Jul 2020 12:39:02 +0200
Subject: [PATCH] add regression test for #73508

---
 .../ui/const-generics/issues/issue-73508.rs     |  6 ++++++
 .../ui/const-generics/issues/issue-73508.stderr | 17 +++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 src/test/ui/const-generics/issues/issue-73508.rs
 create mode 100644 src/test/ui/const-generics/issues/issue-73508.stderr

diff --git a/src/test/ui/const-generics/issues/issue-73508.rs b/src/test/ui/const-generics/issues/issue-73508.rs
new file mode 100644
index 0000000000000..ba2e2a38e7470
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-73508.rs
@@ -0,0 +1,6 @@
+#![feature(const_generics)] //~ WARN the feature `const_generics` is incomplete
+
+pub const fn func_name<const X: *const u32>() {}
+//~^ ERROR using raw pointers
+
+fn main() {}
diff --git a/src/test/ui/const-generics/issues/issue-73508.stderr b/src/test/ui/const-generics/issues/issue-73508.stderr
new file mode 100644
index 0000000000000..23ad1818b6f37
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-73508.stderr
@@ -0,0 +1,17 @@
+warning: the feature `const_generics` is incomplete and may not be safe to use and/or cause compiler crashes
+  --> $DIR/issue-73508.rs:1:12
+   |
+LL | #![feature(const_generics)]
+   |            ^^^^^^^^^^^^^^
+   |
+   = note: `#[warn(incomplete_features)]` on by default
+   = note: see issue #44580 <https://github.com/rust-lang/rust/issues/44580> for more information
+
+error: using raw pointers as const generic parameters is forbidden
+  --> $DIR/issue-73508.rs:3:33
+   |
+LL | pub const fn func_name<const X: *const u32>() {}
+   |                                 ^^^^^^^^^^
+
+error: aborting due to previous error; 1 warning emitted
+