Rollup merge of #80513 - LeSeulArtichaut:80062-test, r=lcnr

Add regression test for #80062

Closes #80062.
r? `@lcnr`

src/test/ui/const-generics/issues/issue-80062.rs

@@ -0,0 +1,10 @@
+// Regression test for issue #80062 (fixed by `min_const_generics`)
+
+fn sof<T>() -> T { unimplemented!() }
+
+fn test<T>() {
+ let _: [u8; sof::<T>()];
+ //~^ ERROR generic parameters may not be used in const operations
+}
+
+fn main() {}

src/test/ui/const-generics/issues/issue-80062.stderr

@@ -0,0 +1,11 @@
+error: generic parameters may not be used in const operations
+ --> $DIR/issue-80062.rs:6:23
+ |
+LL | let _: [u8; sof::<T>()];
+ | ^ cannot perform const operation using `T`
+ |
+ = note: type parameters may not be used in const expressions
+ = help: use `#![feature(const_generics)]` and `#![feature(const_evaluatable_checked)]` to allow generic const expressions
+
+error: aborting due to previous error
+