diff options
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-71611.rs | 9 | ||||
| -rw-r--r-- | src/test/ui/const-generics/issues/issue-71611.stderr | 8 |
2 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/issues/issue-71611.rs b/src/test/ui/const-generics/issues/issue-71611.rs new file mode 100644 index 00000000000..64a049e743f --- /dev/null +++ b/src/test/ui/const-generics/issues/issue-71611.rs @@ -0,0 +1,9 @@ +#![feature(const_generics)] +#![allow(incomplete_features)] + +fn func<A, const F: fn(inner: A)>(outer: A) { + //~^ ERROR: using function pointers as const generic parameters is forbidden + F(outer); +} + +fn main() {} diff --git a/src/test/ui/const-generics/issues/issue-71611.stderr b/src/test/ui/const-generics/issues/issue-71611.stderr new file mode 100644 index 00000000000..9a7bf1c0a88 --- /dev/null +++ b/src/test/ui/const-generics/issues/issue-71611.stderr @@ -0,0 +1,8 @@ +error: using function pointers as const generic parameters is forbidden + --> $DIR/issue-71611.rs:4:21 + | +LL | fn func<A, const F: fn(inner: A)>(outer: A) { + | ^^^^^^^^^^^^ + +error: aborting due to previous error + |