From 99884bd879bde804484d4fbd66320899a1493c93 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Sat, 27 Jun 2020 20:34:04 +0900
Subject: [PATCH] Add test for issue-71382

---
 .../ui/const-generics/issues/issue-71382.rs   | 24 +++++++++++++++++++
 .../const-generics/issues/issue-71382.stderr  |  8 +++++++
 2 files changed, 32 insertions(+)
 create mode 100644 src/test/ui/const-generics/issues/issue-71382.rs
 create mode 100644 src/test/ui/const-generics/issues/issue-71382.stderr

diff --git a/src/test/ui/const-generics/issues/issue-71382.rs b/src/test/ui/const-generics/issues/issue-71382.rs
new file mode 100644
index 000000000000..e0cf9812d95e
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-71382.rs
@@ -0,0 +1,24 @@
+#![feature(const_generics)]
+#![allow(incomplete_features)]
+
+struct Test();
+
+fn pass() {
+    println!("Hello, world!");
+}
+
+impl Test {
+    pub fn call_me(&self) {
+        self.test::<pass>();
+    }
+
+    fn test<const FN: fn()>(&self) {
+        //~^ ERROR: using function pointers as const generic parameters is forbidden
+        FN();
+    }
+}
+
+fn main() {
+    let x = Test();
+    x.call_me()
+}
diff --git a/src/test/ui/const-generics/issues/issue-71382.stderr b/src/test/ui/const-generics/issues/issue-71382.stderr
new file mode 100644
index 000000000000..1652b0bdfa87
--- /dev/null
+++ b/src/test/ui/const-generics/issues/issue-71382.stderr
@@ -0,0 +1,8 @@
+error: using function pointers as const generic parameters is forbidden
+  --> $DIR/issue-71382.rs:15:23
+   |
+LL |     fn test<const FN: fn()>(&self) {
+   |                       ^^^^
+
+error: aborting due to previous error
+