Add test that free type const value type mismatch does not ICE

Author: lapla-cogito

tests/ui/const-generics/mgca/type-const-free-value-type-mismatch.rs

@@ -0,0 +1,12 @@
+#![feature(min_generic_const_args)]
+#![expect(incomplete_features)]
+
+//@ compile-flags: -Zvalidate-mir
+
+type const N: usize = "this isn't a usize";
+//~^ ERROR the constant `"this isn't a usize"` is not of type `usize`
+
+fn f() -> [u8; const { N }] {}
+//~^ ERROR transmuting from
+
+fn main() {}

tests/ui/const-generics/mgca/type-const-free-value-type-mismatch.stderr

@@ -0,0 +1,15 @@
+error: the constant `"this isn't a usize"` is not of type `usize`
+  --> $DIR/type-const-free-value-type-mismatch.rs:6:1
+   |
+LL | type const N: usize = "this isn't a usize";
+   | ^^^^^^^^^^^^^^^^^^^ expected `usize`, found `&'static str`
+
+error[E0080]: transmuting from 16-byte type to 8-byte type: `&str` -> `usize`
+  --> $DIR/type-const-free-value-type-mismatch.rs:9:24
+   |
+LL | fn f() -> [u8; const { N }] {}
+   |                        ^ evaluation of `f::{constant#0}` failed here
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0080`.