From 5a40b6be5cd6879c32808271b2ce953bc963af68 Mon Sep 17 00:00:00 2001
From: bohan <bohan-zhang@foxmail.com>
Date: Sun, 24 Dec 2023 01:45:02 +0800
Subject: [PATCH] add test for #116796

---
 tests/ui/consts/issue-116796.rs     |  3 +++
 tests/ui/consts/issue-116796.stderr | 10 ++++++++++
 2 files changed, 13 insertions(+)
 create mode 100644 tests/ui/consts/issue-116796.rs
 create mode 100644 tests/ui/consts/issue-116796.stderr

diff --git a/tests/ui/consts/issue-116796.rs b/tests/ui/consts/issue-116796.rs
new file mode 100644
index 0000000000000..32dc127ac2a50
--- /dev/null
+++ b/tests/ui/consts/issue-116796.rs
@@ -0,0 +1,3 @@
+struct X<const FN: fn() = { || {} }>;
+//~^ ERROR using function pointers as const generic parameters is forbidden
+fn main() {}
diff --git a/tests/ui/consts/issue-116796.stderr b/tests/ui/consts/issue-116796.stderr
new file mode 100644
index 0000000000000..aed3f19fc9cc4
--- /dev/null
+++ b/tests/ui/consts/issue-116796.stderr
@@ -0,0 +1,10 @@
+error: using function pointers as const generic parameters is forbidden
+  --> $DIR/issue-116796.rs:1:20
+   |
+LL | struct X<const FN: fn() = { || {} }>;
+   |                    ^^^^
+   |
+   = note: the only supported types are integers, `bool` and `char`
+
+error: aborting due to 1 previous error
+