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 0000000000000..64a049e743faf --- /dev/null +++ b/src/test/ui/const-generics/issues/issue-71611.rs @@ -0,0 +1,9 @@ +#![feature(const_generics)] +#![allow(incomplete_features)] + +fn func(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 0000000000000..9a7bf1c0a8841 --- /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(outer: A) { + | ^^^^^^^^^^^^ + +error: aborting due to previous error +